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

1988—1990，美國Texas德克薩斯大學，博士后。

1993—1996，美國Wichita堪薩斯州威奇托市州立大學, 訪問學者。

1988— 1999 任職于中科院系統(tǒng)所。

1999—2017任職于中科院數(shù)學與系統(tǒng)科學研究院。

2017—任中國科學院數(shù)學院常務(wù)副院長。

?

2017年7月19日，中國科學院決定，任命高小山為中國科學院數(shù)學院常務(wù)副院長。

　　數(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ù)大會 (ATCMu201999)“最佳論文獎”,1999. 　　中國科學院盈科優(yōu)秀青年學者獎,2000. 　　第一屆中國科協(xié)期刊優(yōu)秀學術(shù)論文獎，2003 　　數(shù)學與系統(tǒng)科學研究院“突出成果獎”，2003. 　　中國科學院先進工作者，2006. 　�。ㄖ袆�(chuàng)軟件基金會）“中創(chuàng)軟件人才獎”，2006.

2017年8月1日，2017年中國科學院院士增選初步候選人名單公布，高小山入選信息技術(shù)科學部。

　　國家重點基礎(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）。

　　中國系統(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ù)學學報》，編委