北京航空航天大学

教育部长江学者特聘教授、法国国家科学研究中心主任研究员。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万元.