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

個(gè)人簡介

　　高小山

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

　　中國科學(xué)院數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗(yàn)室主任

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

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

　　88—90，美國Texas大學(xué)，博士后

　　93—96，美國Wichita州立大學(xué), 訪問學(xué)者

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

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

　　二、獲獎(jiǎng)情況

　　中國科學(xué)院自然科學(xué)一等獎(jiǎng)，1995.

　　國家自然科學(xué)二等獎(jiǎng), 1997.

　　中科院青年科學(xué)家一等獎(jiǎng)，1997.

　　中國科學(xué)院有突出貢獻(xiàn)的中青年專家，1998.

　　(香港求是基金會(huì))求是杰出青年學(xué)者獎(jiǎng),1999.

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

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

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

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

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

　　中國科學(xué)院先進(jìn)工作者，2006.

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

　　三、承擔(dān)項(xiàng)目

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

　　國家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃(973)項(xiàng)目:“數(shù)學(xué)機(jī)械化與自動(dòng)推理平臺(tái)”，1999-2003，首席科學(xué)家。

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

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

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

　　863計(jì)劃“智能計(jì)算機(jī)” 主題子課題“吳方法軟件研究”負(fù)責(zé)人, , 1991-1993.

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

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

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

　　四、學(xué)術(shù)任職

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

　　中國數(shù)學(xué)會(huì)，常務(wù)理事

　　國際符號與代數(shù)年會(huì)(ISSAC)指導(dǎo)委員會(huì)委員

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

　　Journal of Systems Science and Complexity，副主編

　　Journal of Symbolic Computation ，編委

　　International Journal of Computers, Communications & Control，編委

　　Electronic Journal of Mathematics and Technology，編委

　　《計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)》，編委

　　《中國圖像圖形學(xué)報(bào)》，編委

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

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

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

本文編號：180657