师资队伍

王东明您现在的位置: 首页»师资队伍»王东明

姓     名

王东明(博导)

职     称

教授

所属系别

信息与计算科学系

学科专业

机械化数学、符号计算、自动推理、知识管理与发现、代数生物学

办公地点

新主楼F911

办公电话

010 82338311

电子邮件

Dongming.Wang@buaa.edu.cn

教育背景
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. http://www-polsys.lip6.fr/~wang/exacta/
发表论文
More ...
教学活动
计算几何(2015、2016 秋季)
所获奖励
2017  欧洲科学院院士
2005  教育部长江学者奖励计划特聘教授
2001  中国科学技术大学吴文俊讲席教授
1988  北京数学会青年优秀论文一等奖
社会工作
在符号计算、自动推理、知识管理、微分方程和生物网络等领域从事基础与应用研究,已出版专著3部、教材3本、编译著20余部,发表专业学术论文100余篇,在国际学术会议上作特邀报告20余次。其代表性的研究成果在国内外科技文献中被称为“王方法”、“王简单系统”、“王−胡方法”、“王定理”等。是多项式系统消元与分解、几何学自动推理和微分方程符号分析方面的国际知名专家,多个欧共体项目、国际合作项目和国家973项目的学术骨干,参与发起和组织了100多项国际学术活动。现任国际学术期刊《Mathematics in Computer Science》主编、《SCIENCE CHINA Information Sciences》常务副主编、《Journal of Symbolic Computation》等多份期刊和丛书的编委。
推荐链接
http://DongmingWang.org/