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