王东明 （北航中法工程师学院副院长）

个人简介

王东明，男，1961年7月出生，北京航空航天大学教授、博士生导师。

教育背景

1983年毕业于中国科学技术大学，考入中国科学院系统科学研究所，师从吴文俊院士学习数学机械化，1987年获博士学位，1999年在法国格勒诺布尔国立理工学院获指导研究资格学位。

工作简历

1987−1988 中国科学院系统科学研究所助理研究员

1988−1992 奥地利开普勒大学助理教授

1992−2005 法国国家科学研究中心主管研究员

2005−2008 北航中法工程师学院副院长

2005至今 北航数学与系统科学学院教授，法国国家科学研究中心主任研究员

科研项目

EXACTA (Exact/Certified Computation with Algebraic Systems), a Franco-Chinese cooperation project supported by l'Agence Nationale de la Recherche, France and the National Natural Science Foundation of China.

发表论文

Ting Zhao, Dongming Wang, and Hoon Hong: Solution Formulas for Cubic Equations Without or With Constraints. Journal of Symbolic Computation 46(8) (2011) 904-918.Xiaoliang Li, Chenqi Mou, and Dongming Wang: Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Zero-dimensional Case. Computers and Mathematics with Applications 60(11) (2010) 2983-2997.Dongming Wang and Bican Xia: Stability Analysis of Biological Systems with Real Solution Classification. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (Beijing, China, July 24-27, 2005), ACM Press, New York, 2005, pp. 354-361.

所获奖励

教育部长江学者特聘教授

社会工作

在符号计算、自动推理、微分方程和生物网络等领域从事基础与应用研究，已出版专著3部、教材3本、编译著20余部，发表专业学术论文90余篇，在国际学术会议上作特邀报告20余次。其代表性的研究成果在国内外科技文献中被称为“王方法”、“王简单系统”、“王−胡方法”、“王定理”等。是多项式系统消元与分解、几何学自动推理和微分方程符号分析方面的国际知名专家，多个欧共体项目、国际合作项目和国家973项目的学术骨干，参与发起和组织了80多项国际学术活动。现任国际学术期刊《Mathematics in Computer Science》主编、《中国科学：信息科学》常务副主编、《Journal of Symbolic Computation》等多份期刊和丛书的编委。