王東明

北航中法工程師學院副院長

個人簡介


王東明
王東明
王東明,男,1961年7月出生,北京航空航天大學教授、博士生導師。

教育背景


1983年畢業於中國科學技術大學,考入中國科學院系統科學研究所,師從吳文俊院士學習數學機械化,1987年獲博士學位,1999年在法國格勒諾布爾國立理工學院獲指導研究資格學位。

工作簡歷


1987−1988 中國科學院系統科學研究所助理研究員
1988−1992 奧地利開普勒大學助理教授
1徠992−2005 法國國家科學研究中心主管研究員
2005−2008 北航中法工程師學院副院長
2005至今 北航數學與系統科學學院教授,法國國家科學研究中心主任研究員

科研項目


EXACTA (Exact/Certified Computation with Algebraic Systems), a Franco-Chinese cooperation project supported by l'Agence Nationale de la Recherche, France and the National Natural Science Foundation of China.

發表論文


Ting Zhao, Dongming Wang, and Hoon Hong: Solution Formulas for Cubic Equations Without or With Constraints. Journal of Symbolic Computation 46(8) (2011) 904-918.Xiaoliang Li, Chenqi Mou, and Dongming Wang: Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Zero-dimensional Case. Computers and Mathematics with Applications 60(11) (2010) 2983-2997.Dongming Wang and Bican Xia: Stability Analysis of Biological Systems with Real Solution Classification. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (Beijing, China, July 24-27, 2005), ACM Press, New York, 2005, pp. 354-361.

所獲獎勵


教育部長江學者特聘教授

社會工作


在符號計算、自動推理、微分方程和生物網路等領域從事基礎與應用研究,已出版專著3部、教材3本、編譯著20餘部,發表專業學術論文90餘篇,在國際學術會議上作特邀報告20餘次。其代表性的研究成果在國內外科技文獻中被稱為“王方法”、“王簡單系統”、“王−胡方法”、“王定理”等。是多項式系統消元與分解、幾何學自動推理和微分方程符號分析方面的國際知名專家,多個歐共體項目、國際合作項目和國家973項目的學術骨幹,參與發起和組織了80多項國際學術活動。現任國際學術期刊《Mathematics in Computer Science》主編、《中國科學:信息科學》常務副主編、《Journal of Symbolic Computation》等多份期刊和叢書的編委。