本文關(guān)鍵詞：中國科學院盈科優(yōu)秀青年學者獎，由筆耕文化傳播整理發(fā)布。

個人簡介

　　高小山

　　中國科學院系統(tǒng)所研究員、副院長，

　　中國科學院數(shù)學機械化重點實驗室主任

　　研究方向：數(shù)學機械化，符號計算, 自動推理，信息安全，智能軟件開發(fā)

　　1988于中科院系統(tǒng)所獲博士學位

　　88—90，美國Texas大學，博士后

　　93—96，美國Wichita州立大學, 訪問學者

　　88— 中科院系統(tǒng)所

　　99— 中科院數(shù)學與系統(tǒng)科學研究院

　　二、獲獎情況

　　中國科學院自然科學一等獎，1995.

　　國家自然科學二等獎, 1997.

　　中科院青年科學家一等獎，1997.

　　中國科學院有突出貢獻的中青年專家，1998.

　　(香港求是基金會)求是杰出青年學者獎,1999.

　　中科院(十大)杰出青年，1999.

　　第四屆亞洲數(shù)學技術(shù)大會 (ATCM’99)“最佳論文獎”,1999.

　　中國科學院盈科優(yōu)秀青年學者獎,2000.

　　第一屆中國科協(xié)期刊優(yōu)秀學術(shù)論文獎，2003

　　數(shù)學與系統(tǒng)科學研究院“突出成果獎”，2003.

　　中國科學院先進工作者，2006.

　　(中創(chuàng)軟件基金會)“中創(chuàng)軟件人才獎”，2006.

　　三、承擔項目

　　國家重點基礎(chǔ)研究發(fā)展計劃(973)項目:“數(shù)學機械化方法及其在信息技術(shù)中的應(yīng)用”，2004-2009，首席科學家。

　　國家重點基礎(chǔ)研究發(fā)展規(guī)劃(973)項目:“數(shù)學機械化與自動推理平臺”，1999-2003，首席科學家。

　　國家杰出青年基金，1998—2000。

　　國家攀登計劃“數(shù)學機械化及其應(yīng)用”子項目負責人，，1997。

　　國家攀登計劃“機器證明及其應(yīng)用”子項目負責人，1992-1996。

　　863計劃“智能計算機” 主題子課題“吳方法軟件研究”負責人, , 1991-1993.

　　美國自然科學基金 CCR-9117870, 1992-1994,“Mechanical Theorem Proving in Geometry and Mechanics”，主要參加人員。

　　美國自然科學基金 CCR-9420857, 1995-1998，“Automated Generation of Readable Proofs in Geometry”，主要參加人員。

　　美國自然科學基金 CCR-0201253, 2002-2004, “Automated Geometry Reasoning and Methods fir Diagram Generation”,共同主持人(CO-PI)。

　　四、學術(shù)任職

　　中國系統(tǒng)工程學會，副理事長

　　中國數(shù)學會，常務(wù)理事

　　國際符號與代數(shù)年會(ISSAC)指導委員會委員

　　《系統(tǒng)科學與數(shù)學》，副主編

　　Journal of Systems Science and Complexity，副主編

　　Journal of Symbolic Computation ，編委

　　International Journal of Computers, Communications & Control，編委

　　Electronic Journal of Mathematics and Technology，編委

　　《計算機輔助設(shè)計與圖形學學報》，編委

　　《中國圖像圖形學報》，編委

　　《中國高校應(yīng)用數(shù)學學報》，編委

上一篇：中國科學院數(shù)學與系統(tǒng)科學研究院博士生導師：葛力明
下一篇：中國科學院數(shù)學與系統(tǒng)科學研究院博士生導師：付保華研究員

  本文關(guān)鍵詞：中國科學院盈科優(yōu)秀青年學者獎，由筆耕文化傳播整理發(fā)布。

本文編號：180657