個人簡介
王東明王東明 ，男，1961年7月出生，北京航空航天大學教授、博士生導師。
教育背景
1983年畢業於中國科學技術大學，考入中國科學院系統科學研究所，師從吳文俊院士學習數學機械化，1987年獲博士學位，1999年在法國格勒諾布爾國立理工學院獲指導研究資格學位。
工作簡歷
1987−1988 中國科學院系統科學研究所助理研究員
1988−1992 奧地利克卜勒大學助理教授
1992−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》等多份期刊和叢書的編委。
