王东明，男，1961年7月出生，教授、博士生导师。法国国家科学研究中心主任研究员，北航中法工程师学院副院长。1983年毕业于中国科学技术大学，考入中国科学院系统科学研究所，师从吴文俊院士学习数学机械化，1987年获博士学位，1999年在法国格勒诺布尔国立理工学院获指导研究资格学位。

履历

先后任中国科学院系统科学研究所助理研究员（1987-1988）、奥地利开普勒大学助理教授（1988-1992）、法国国家科学研究中心主管研究员（1992-2005）。

成果

在符号计算、自动推理、微分方程和生物网络等领域从事基础与应用研究，已出版专著3部、编译著15部、教材1本，发表专业学术论文70余篇。其代表性的研究成果在国内外科技文献中被称为“王方法”、“王简单系统”、“王-胡方法”、“王定理”等。是多项式消元与分解、几何学自动推理和微分方程符号分析方面的国际知名专家，多个欧共体项目、国际合作项目和国家973项目的学术骨干，参与发起和组织了40多项国际学术活动。