人物履歷
1988于中科院系統(tǒng)所獲博士學(xué)位。
1988—1990，美國(guó)Texas德克薩斯大學(xué)，博士后。
1993—1996，美國(guó)Wichita堪薩斯州威奇托市州立大學(xué), 訪問(wèn)學(xué)者。
1988— 1999 任職于中科院系統(tǒng)所。
1999—2017任職于中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院。
2017—任中國(guó)科學(xué)院數(shù)學(xué)院常務(wù)副院長(zhǎng)。
?
任免信息
2017年7月19日，中國(guó)科學(xué)院決定，任命高小山為中國(guó)科學(xué)院數(shù)學(xué)院常務(wù)副院長(zhǎng)。
研究方向
數(shù)學(xué)機(jī)械化，符號(hào)計(jì)算, 自動(dòng)推理，信息安全，智能軟件開(kāi)發(fā)
經(jīng)歷
1988于中科院系統(tǒng)所獲博士學(xué)位 88—90，美國(guó)Texas大學(xué)，博士后 93—96，美國(guó)Wichita州立大學(xué), 訪問(wèn)學(xué)者 88— 中科院系統(tǒng)所 99— 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院
獲獎(jiǎng)情況
中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)，1995. 國(guó)家自然科學(xué)二等獎(jiǎng), 1997. 中科院青年科學(xué)家一等獎(jiǎng)，1997. 中國(guó)科學(xué)院有突出貢獻(xiàn)的中青年專(zhuān)家，1998. (香港求是基金會(huì))求是杰出青年學(xué)者獎(jiǎng),1999. 中科院（十大）杰出青年，1999. 第四屆亞洲數(shù)學(xué)技術(shù)大會(huì) (ATCMu201999)“最佳論文獎(jiǎng)”,1999. 中國(guó)科學(xué)院盈科優(yōu)秀青年學(xué)者獎(jiǎng),2000. 第一屆中國(guó)科協(xié)期刊優(yōu)秀學(xué)術(shù)論文獎(jiǎng)，2003 數(shù)學(xué)與系統(tǒng)科學(xué)研究院“突出成果獎(jiǎng)”，2003. 中國(guó)科學(xué)院先進(jìn)工作者，2006. �。ㄖ袆�(chuàng)軟件基金會(huì)）“中創(chuàng)軟件人才獎(jiǎng)”，2006.
2017年8月1日，2017年中國(guó)科學(xué)院院士增選初步候選人名單公布，高小山入選信息技術(shù)科學(xué)部。
承擔(dān)項(xiàng)目
國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)項(xiàng)目:“數(shù)學(xué)機(jī)械化方法及其在信息技術(shù)中的應(yīng)用”，2004-2009，首席科學(xué)家。 國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃(973)項(xiàng)目:“數(shù)學(xué)機(jī)械化與自動(dòng)推理平臺(tái)”，1999-2003，首席科學(xué)家。 國(guó)家杰出青年基金，1998—2000。 國(guó)家攀登計(jì)劃“數(shù)學(xué)機(jī)械化及其應(yīng)用”子項(xiàng)目負(fù)責(zé)人，1997。 國(guó)家攀登計(jì)劃“機(jī)器證明及其應(yīng)用”子項(xiàng)目負(fù)責(zé)人，1992－1996。 863計(jì)劃“智能計(jì)算機(jī)” 主題子課題“吳方法軟件研究”負(fù)責(zé)人, , 1991－1993. 美國(guó)自然科學(xué)基金 CCR-9117870, 1992-1994,“Mechanical Theorem Proving in Geometry and Mechanics”，主要參加人員。 美國(guó)自然科學(xué)基金 CCR-9420857, 1995-1998，“Automated Generation of Readable Proofs in Geometry”，主要參加人員。 美國(guó)自然科學(xué)基金 CCR-0201253, 2002-2004, “Automated Geometry Reasoning and Methods fir Diagram Generation”,共同主持人（CO-PI）。
學(xué)術(shù)任職
中國(guó)系統(tǒng)工程學(xué)會(huì)，副理事長(zhǎng) 中國(guó)數(shù)學(xué)會(huì)，常務(wù)理事 國(guó)際符號(hào)與代數(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)》，編委 《中國(guó)圖像圖形學(xué)報(bào)》，編委 《中國(guó)高校應(yīng)用數(shù)學(xué)學(xué)報(bào)》，編委
