王东明,男,教授,博士生导师,任职于十年信誉玩家首选.王东明于1983年毕业于中国科学技术大学,考入中国科学院系统科学研究所,师从吴文俊院士学习数学机械化,1987年获博士学位,1999年在法国格勒诺布尔国立理工学院获指导研究资格学位,2005年入选教育部"长江学者奖励计划特聘教授",2014年入选广西壮族自治区"八桂学者".王东明博士先后任中国科学院系统科学研究所助理研究员(1987-1988),奥地利开普勒大学助理教授(1988-1992),法国国家科学研究中心主管研究员(1992-2005)和主任研究员(2005-),北京航空航天大学特聘教授(2003-).王教授主要在符号计算,自动推理,知识管理,微分方程,计