複製鏈接
請複製以下鏈接發送給好友

王東明

(歐洲科學院院士,北京航空航天大學教授)

鎖定
王東明,男,1961年7月出生,安徽桐城人,符號計算和自動推理領域專家,歐洲科學院院士八桂學者北京航空航天大學教授、博士生導師,法國國家科學研究中心主任研究員,北京航空航天大學中法工程師學院副院長。 [1]  [4] 
王東明於1983年畢業於中國科學技術大學,考入中國科學院系統科學研究所,師從吳文俊院士學習數學機械化;1987年獲得中國科學院系統科學研究所博士學位;1987年—1988年任中國科學院系統科學研究所助理研究員;1988年—1992年任奧地利開普勒大學助理教授;2005年—2008年任北京航空航天大學中法工程師學院副院長;2005年任北京航空航天大學數學與系統科學學院教授、法國國家科學研究中心主任研究員 [3]  ;2017年當選歐洲科學院院士。 [6-7] 
王東明在符號計算、自動推理、微分方程和生物網絡等領域從事基礎與應用研究。 [1-2] 
中文名
王東明
國    籍
中國
出生日期
1961年7月
畢業院校
中國科學院系統科學研究所
職    業
教育科研工作者
主要成就
2017年當選歐洲科學院院士
籍    貫
安徽桐城

王東明人物經歷

1961年7月,王東明出生於安徽桐城古井村。 [6] 
1978年,從孔城高中畢業,考入中國科學技術大學,學習數學。 [6] 
1983年,畢業於中國科學技術大學,考入中國科學院系統科學研究所,師從吳文俊院士學習數學機械化。
1987年,獲得中國科學院系統科學研究所博士學位。 [3] 
1987年—1988年,任中國科學院系統科學研究所助理研究員。
1988年—1992年,任奧地利開普勒大學助理教授。
1992年10月—1995年9月,在計算機科學與人工智能實驗室工作。 [7] 
1992年—2005年,任法國國家科學研究中心主管研究員。 [1] 
1995年10月—1999年12月,在萊布尼茨實驗室工作。 [7] 
1999年,在法國格勒諾布爾國立理工學院獲得指導研究資格學位。
2000年1月—2014年3月,在巴黎第六大學計算機科學實驗室工作。 [7] 
2003年10月,任職於北京航空航天大學數學與系統科學學院。 [4]  [7] 
2005年—2008年,任北京航空航天大學中法工程師學院副院長。
2005年,任北京航空航天大學數學與系統科學學院教授、法國國家科學研究中心主任研究員。 [3] 
2014年,離開法國國家科學研究中心,全職回國工作,同年入選廣西壯族自治區“八桂學者”,到廣西民族大學軟件與信息安全學院任職。 [5]  [7] 
2017年,當選歐洲科學院院士。 [6] 
王東明相關圖片

王東明主要成就

王東明科研成就

  • 科研綜述
王東明代表性的研究成果在中國國內外科技文獻中被稱為“王方法”、“王簡單系統”、“王—胡方法”、“王定理”等。 [1] 
  • 學術論著
截至2022年2月,王東明已出版專著3部、編譯著20部,發表專業學術論文100餘篇。 [2] 
  • 科研項目
項目名稱
項目來源
EXACTA(代數系統精確/認證計算)
法國國家研究機構和中國國家自然科學基金會支持的中法合作項目
參考資料來源: [3] 
  • 科研成果獎勵
1988年,王東明獲得北京數學會青年優秀論文一等獎。 [3] 
  • 學術交流
截至2022年2月,王東明參與發起和組織了100多項國際學術活動。 [2] 

王東明人才培養

  • 編寫教材
截至2022年2月,王東明編寫教材3本。 [2] 
  • 教授課程
王東明講授的課程有:計算幾何(2015、2016秋季)。 [3] 
  • 教學方法
王東明認為,傳道的關鍵在於強健心智,受業的核心在於提升技能,解惑的初衷在於愉悦性情。從尊重學生的角度出發,讓學習數學特別是學習代數,並將代數的思維方式應用於計算機等學科中變得更加生動和有趣,將數學學習中的困難當作機遇,通過解決困難來提高自身的綜合能力、開發創新的潛力。他通過開設研究生基礎課程、前沿課程、討論課課程,舉辦暑期學校等不同的教學方式,幫助、引導學生帶着興趣、帶着目標、帶着動力、情懷和自信去高效學習。 [4] 
  • 培養成果
王東明致力於培養優秀的研究型人才,他重視提高學生的綜合素質和科研創新能力。2003年至2015年8月,王東明培養的10位博士均在各自的研究領域取得了創新性科研成果。 [5] 
  • 平台建設
王東明組建了隸屬於廣西混雜計算與集成電路設計分析重點實驗室的八桂學者創新團隊,還創建了一個面向國際學者的學術交流與協作創新平台——國際科學家流動站。 [7] 

王東明榮譽表彰

獲獎時間
榮譽表彰
2017年
歐洲科學院院士
參考資料來源: [3] 

王東明社會任職

任職時間
職務
2001年
中國科學技術大學吳文俊講席教授 [3] 
2003年
北京航空航天大學特聘教授 [5] 

《中國科學:信息科學》中英文版常務副主編

《Mathematics in Computer Science》創刊主編兼執行編輯

《Journal of Symbolic Computation》編委

《Texts and Monographs in Symbolic Computation》編委

符號與代數計算國際研討會大會主席 [4] 

人工智能與符號計算國際會議大會主席 [4] 

第三屆計算機與信息科學中的數學方法國際會議大會主席 [4] 

第四屆計算機與信息科學中的數學方法國際會議大會主席 [4] 

科學計算的符號與數值算法國際研討會大會主席 [4] 

AISC 2006會議大會主席

AISC 2018會議大會主席

ISSAC 2007會議大會主席

ISSAC 2019會議大會主席
參考資料來源: [2]  [4] 

王東明人物評價

王東明是一位符號計算和自動推理領域的著名學者,他是一位心境高遠、情絲漫漫的文學才子,他更是一位質樸無華、温文爾雅的諄諄師者。在生活中,王東明是一位極具浪漫主義色彩的作家與詩者。他通曉中、英、法三國語言,豐富的人生閲歷、廣博的知識儲備與深厚的文化底藴在他的身上三位一體,融會貫通。在他強大的數學與計算機科學技能的背後,還擁有一顆浪漫情絲與人文情懷交融的敏感內心,擁有一種波瀾壯闊、胸懷天下的高遠境界。(北京航空航天大學新聞網評) [4] 
凡接觸過王東明的人,對他的印象都是嚴謹、敬業、奉獻。他對工作勤勉認真,對學生言傳身教,對事業無私奉獻。(廣西日報評) [7] 
參考資料