教育部長江學(xué)者特聘教授、法國國家科學(xué)研究中心主任研究員。1983年畢業(yè)于中國科學(xué)技術(shù)大學(xué)，考入中國科學(xué)院系統(tǒng)科學(xué)研究所，師從吳文俊院士學(xué)習(xí)數(shù)學(xué)機(jī)械化，1987年獲博士學(xué)位，1999年在法國格勒諾布爾國立理工學(xué)院獲指導(dǎo)研究資格學(xué)位。先后任中國科學(xué)院系統(tǒng)科學(xué)研究所助理研究員（1987−1988）、奧地利開普勒大學(xué)助理教授（1988−1992）、法國國家科學(xué)研究中心主管研究員（1992−2005）、北航中法工程師學(xué)院副院長（2005−2008）。在符號計算、自動推理、知識管理、微分方程和生物網(wǎng)絡(luò)等領(lǐng)域從事基礎(chǔ)與應(yīng)用研究，已出版專著3部、教材3本、編譯著20余部，發(fā)表專業(yè)學(xué)術(shù)論文100余篇，在國際學(xué)術(shù)會議上作特邀報告20余次。

其代表性的研究成果在國內(nèi)外科技文獻(xiàn)中被稱為“王方法”、“王簡單系統(tǒng)”、“王−胡方法”、“王定理”等。是多項式系統(tǒng)消元與分解、幾何學(xué)自動推理和微分方程符號分析方面的國際知名專家，多個歐共體項目、國際合作項目和國家973項目的學(xué)術(shù)骨干，參與發(fā)起和組織了100多項國際學(xué)術(shù)活動�，F(xiàn)任國際學(xué)術(shù)期刊《Mathematics in Computer Science》主編、《SCIENCE CHINA Information Sciences》常務(wù)副主編、《Journal of Symbolic Computation》等多份期刊和叢書的編委。

研究特色：以計算機(jī)為工具，實現(xiàn)數(shù)學(xué)計算、推理、作圖、知識管理的機(jī)械化與自動化；借助自身優(yōu)勢，重點研發(fā)高效的計算機(jī)代數(shù)、幾何、分析算法和軟件；促進(jìn)學(xué)科交叉，開拓計算機(jī)數(shù)學(xué)在科學(xué)和工程領(lǐng)域中的應(yīng)用。

研究生培養(yǎng)質(zhì)量：創(chuàng)造了大量的國際交流與合作機(jī)會，拓廣、提升了研究生的視野和綜合能力。培養(yǎng)的博士具有良好的科研素質(zhì)、取得了創(chuàng)新性的研究成果，大多達(dá)到了國際一流院校博士的水平。

科研成果：2010年至今，出版教材1本、編著2部，發(fā)表學(xué)術(shù)論文20余篇。主要研究工作包括推廣了特征列的概念和方法，發(fā)展了簡單分解算法和根式求解理論，提出了從圖片自動發(fā)現(xiàn)幾何定理的方法，創(chuàng)建了幾何知識管理和生物系統(tǒng)代數(shù)分析等研究方向。

學(xué)術(shù)管理：主導(dǎo)多項式消元和幾何學(xué)自動推理的發(fā)展，主編《Mathematics in Computer Science》和《SCIENCE CHINA Information Sciences》。

近五年代表性學(xué)術(shù)論文:

1. Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics. 201106. 一作. The Aeronautical Journal.

2. Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems. 201210.一作.International Journal of Control.

3. Improving Angular Speed Uniformity by Reparametrization. 201310. 二作. Computer Aided Geometric Design.

4. Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. 201410. 二作. Journal of Mathematical Economics.

5. Automated Generation of Geometric Theorems from Images of Diagrams. 201410. 三作. Annals of Mathematics and Articial Intelligence.

近五年承擔(dān)的主要科研項目:

1.軟件開發(fā)環(huán)境國家重點實驗室課題.201104-201512.SKLSDE-2011KF-02/SKLSDE-2015ZX-18.符號計算、知識管理與發(fā)現(xiàn).21萬元.

2.法國Agence Nationaledela Recherche和中國國家自然科學(xué)基金委員會國際合作與交流項目.201003-201312.60911130369.代數(shù)系統(tǒng)的準(zhǔn)確、可信計算.30.16萬歐元+45萬元.