985 211 双一流
王东明,男,1961年7月出生,教授、博士生导师。法国国家科学研究中心主任研究员,北航中法工程师学院副院长。1983年毕业于中国科学技术大学,考入中国科学院系统科学研究所,师从吴文俊院士学习数学机械化,1987年获博士学位,1999年在法国格勒诺布尔国立理工学院获指导研究资格学位。先后任中国科学院系统科学研究所助理研究员(1987-1988)、奥地利开普勒大学助理教授(1988-1992)、法国国家科学研究中心主管研究员(1992-2005)。在符号计算、自动推理、微分方程和生物网络等领域从事基础与应用研究,已出版专著3部、编译著15部、教材1本,发表专业学术论文70余篇。其代表性的研究成果在国内外科技文献中被称为“王方法”、“王简单系统”、“王-胡方法”、“王定理”等。是多项式消元与分解、几何学自动推理和微分方程符号分析方面的国际知名专家,多个欧共体项目、国际合作项目和国家973项目的学术骨干,参与发起和组织了40多项国际学术活动。
