王东明博士现任北京航空航天大学长江特聘教授、法国科学研究中心主任研究员、中国科学技术大学吴文俊讲席教授。主要从事几何学自动推理和计算机代数学中的算法设计与实施,研究符号计算在微分方程和生物网络中的应用。著有《Elimination Practice》(Imperial College Press,2004)、《消去法及其应用》(科学出版社,2002)和《Elimination Methods》(Springer,2001),出版英文(合)译著一部、(合)编著十五部,已发表专业学术论文七十余篇,参与发起和组织了多项国际学术活动。 |
|