教育背景

• 1999年1月：指导研究资格学位，法国格勒诺布尔国立理工学院

• 1987年7月：博士学位，中国科学院系统科学研究所

• 1983年7月：学士学位，中国科学技术大学

工作经历

• 2003年10月至今：北京航空航天大学
  人工智能学院 / 数学科学学院

• 1992年10月至今：法国国家科学研究中心
  2000年1月至今：巴黎六大、索邦大学计算机科学实验室
  1995年10月至1999年12月：莱布尼茨实验室
  1992年10月至1995年9月：计算机科学与人工智能实验室

• 2014年4月至2019年3月：广西民族大学
  软件与信息安全学院

• 1988年3月至1992年9月：奥地利开普勒大学
  符号计算研究所

• 1987年8月至1988年2月：中国科学院
  系统科学研究所

符号计算、自动推理、知识管理与发现、微分方程、生物网络

欧洲科学院院士，国家级人才，法国国家科学研究中心主任研究员。已出版专著3部、教材3本、编译著作20余部，发表专业学术论文130余篇。其代表性研究成果在国内外科技文献中被称为“王方法”、“王简单系统”等。是多项式系统消元与分解、几何学自动推理和微分方程符号分析方面的国际著名学者，多个欧共体项目、国际合作项目和国家973项目的学术骨干，参与发起和组织了100多项国际学术活动。先后担任《中国科学：信息科学》中英文版常务副主编、《Mathematics in Computer Science》创刊主编和AISC 2006 & 2018、ISSAC 2007 & 2019等国际学术会议的大会主席。

王东明：数信智合 平仄人生（人民邮电出版社，2026）