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

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

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

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

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

1992.10−1995.9 在计算机科学与人工智能实验室工作

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

1995.10−1999.12，莱布尼茨实验室

2000.1−2014.3 巴黎第六大学计算机科学实验室

2005−2008 北京航空航天大学北京航空航天大学中法工程师学院副院长

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

EXACTA (Exact/Certified Computation with Algebraic Systems), a 中非金融合作法郎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 多项式 Sets into Simple Sets over Finite Fields: The Zero-dimensional Case. Computers and 数学 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.

王东明始终努力为学生创造与世界一流科学家接触交流和开拓视野的机会，他尊重学生的意愿，因材施教。王东明认为，传道的关键在于强健心智，授业的核心在于提升技能，解惑的初衷在于愉悦性情。王东明真正从尊重学生的角度出发，让学习数学特别是学习代数，并将代数的思维方式应用于计算机等学科中变得更加生动和有趣，将数学学习中的困难当作机遇，通过解决困难来提高自身的综合能力、开发创新的潜力。

王东明通过开设研究生基础课程、前沿课程、讨论课课程，举办暑期学校等不同的教学方式，帮助、引导学生带着兴趣、带着目标、带着动力、情怀和自信去高效学习。王东明还力推双学位博士联合培养项目和有留学生参与的多元文化学术团队的建设。王东明通过每周举办一次的专业讨论班，每月举办一次的师生交流沙龙，以及在科学网上和学生们在线互动的博客，丰富学生们的精神世界。王东明还曾随笔《选择》以自己的经历和感悟来充满正能量地为学生们点燃求知的渴望，激发学习的动力，催生创新的激情。

王东明重视提高学生的综合素质和科研创新能力，所培养的10位博士均在各自的研究领域取得了创新性科研成果。在王东明的关怀和悉心指导下，学生杨静在美国北卡罗来纳州进行立大学学术访问期间突破学业“瓶颈”，完成了论文，顺利获得博士学位。

王东明致力于在南宁市建立一个数学与信息科学交叉研究院，以及一个具有良好学术、人文和生态环境的文化科技园区，为此，王东明曾组建隶属于广西混杂计算与集成电路设计分析重点实验室的八桂学者创新团队，开展科学研究，举办学术活动，提升广西民族大学的科研水平和学术影响力。王东明还创建一个面向国际学者的学术交流与协作创新平台——国际科学家流动站，并担任主任，邀请国内外著名专家学者入驻流动站，加强学科与基地建设，促进国内外学术交流与合作，推进广西壮族自治区的科学研究与人才培养。

教育部长江学者特聘教授

2014年，入选广西壮族自治区“八桂学者”

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