王东明

  王东明，1961年生，男，汉族，教授、博士生导师，现任职于广西民族大学。王东明于1983年毕业于中国科学技术大学，考入中国科学院系统科学研究所，师从吴文俊院士学习数学机械化，1987年获博士学位，1999年在法国格勒诺布尔国立理工学院获指导研究资格学位，2005年入选教育部“长江学者奖励计划特聘教授”，2014年入选广西壮族自治区“八桂学者”，2017年当选欧洲科学院院士。王东明博士先后任中国科学院系统科学研究所助理研究员（1987-1988）、奥地利开普勒大学助理教授（1988-1992）、法国国家科学研究中心主管研究员（1992-2005）和主任研究员（2005-）、北京航空航天大学特聘教授（2003-）。王教授主要在符号计算、自动推理、知识管理、微分方程、计算几何和生物网络等领域从事基础与应用研究，已出版专著3部、教材3本、编译著20余部，发表专业学术论文100余篇。其代表性的研究成果在国内外科技文献中被称为“王方法”、“王简单系统”、“王-胡方法”、“王定理”等。作为多项式消元与分解、几何学自动推理和微分方程定性分析方面的国际知名专家，王教授主持、参与了多个欧共体项目和国际合作项目，同时也是多个国家973项目的学术骨干。迄今为止，他参与发起和组织的国际学术活动已逾100项。王教授还担任《Mathematics in Computer Science》主编、《中国科学：信息科学》（英文版）常务副主编、《Journal of Symbolic Computation》等多份期刊和丛书的编委。自2003年以来，王教授致力于培养优秀的研究型人才，他秉承以人为本的教育理念，积极为学生创造与世界一流科学家接触、交流和开拓视野的机会。他重视提高学生的综合素质和科研创新能力，所培养的12位博士均在各自的研究领域取得了创新性科研成果。有关王教授的事迹和其他情况，请访问博客http://blog.sciencenet.cn/u/dongmingwang