个人简介

学生信息 >>个人简介

王东明欧洲科学院院士,教育部长江学者特聘教授,法国国家科学研究中心主任研究员。在符号计算、自动推理、知识管理与发现、微分方程和生物网络等领域从事基础与应用研究,已出版专著3部、教材3本、编译著20余部,发表专业学术论文100余篇,在国际学术会议上作特邀报告30余次。其代表性研究成果在国内外科技文献中被称为“王方法”、“王简单系统”等。是多项式系统消元与分解、几何学自动推理和微分方程符号分析方面的国际著名学者,多个欧共体项目、国际合作项目和国家973项目的学术骨干,参与发起和组织国际学术活动100多项。曾任《中国科学:信息科学》中英文版常务副主编、《Mathematics in Computer Science》创刊主编和AISC 2006 & 2018、ISSAC 2007 & 2019等国际学术会议的大会主席。