簡介,履歷,成果,
簡介
王東明,男,1961年7月出生,教授、博士生導師。法國國家科學研究中心主任研究員,北航中法工程師學院副院長。1983年畢業於中國科學技術大學,考入中國科學院系統科學研究所,師從吳文俊院士學習數學機械化,1987年獲博士學位,1999年在法國格勒諾布爾國立理工學院獲指導研究資格學位。
履歷
先後任中國科學院系統科學研究所助理研究員(1987-1988)、奧地利克卜勒大學助理教授(1988-1992)、法國國家科學研究中心主管研究員(1992-2005)。
成果
在符號計算、自動推理、微分方程和生物網路等領域從事基礎與套用研究,已出版專著3部、編譯著15部、教材1本,發表專業學術論文70餘篇。其代表性的研究成果在國內外科技文獻中被稱為“王方法”、“王簡單系統”、“王-胡方法”、“王定理”等。是多項式消元與分解、幾何學自動推理和微分方程符號分析方面的國際知名專家,多個歐共體項目、國際合作項目和國家973項目的學術骨幹,參與發起和組織了40多項國際學術活動。