北京航空航天大學

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

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

研究特色：以計算機為工具，實現數學計算、推理、作圖、知識管理的機械化與自動化；借助自身優勢，重點研發高效的計算機代數、幾何、分析算法和軟件；促進學科交叉，開拓計算機數學在科學和工程領域中的應用。

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

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

學術管理：主導多項式消元和幾何學自動推理的發展，主編《Mathematics in Computer Science》和《SCIENCE CHINA Information Sciences》。

近五年代表性學術論文:

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.

近五年承擔的主要科研項目:

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

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