一、简历

高小山，研究员

中国科学院数学与系统科学研究院，副院长

研究方向：数学机械化，符号计算, 自动推理，信息安全，智能软件开发

1988于中科院系统所获博士学位

1988—1990 美国Texas大学Austin分校，博士后

1988— 中科院系统所，助研、副研、研究员

1998— 中科院数学与系统科学研究院，研究员

二、获奖情况

l 中国科学院自然科学一等奖，1995.

l 国家自然科学二等奖，1997.

l 中科院青年科学家一等奖，1997.

l 中国科学院有突出贡献的中青年专家，1998.

l (香港求是基金会)求是杰出青年学者奖，1999.

l 中科院（十大）杰出青年，1999.

l 第四届亚洲数学技术大会(ATCM’99)“最佳论文奖”，1999.

l 中国科学院盈科优秀青年学者奖，2000.

l 第一届中国科协期刊优秀学术论文奖，2003

l 数学与系统科学研究院“突出成果奖”，2003.

l 中国科学院先进工作者，2006.

l (中创软件基金会)"中创软件人才奖"，2006.

l "十一五"国家科技计划执行突出贡献奖，2011.

l ACM/SIGSAM"ISSAC杰出论文"，2011.

三、承担项目

l 国家重点基础研究发展计划(973)项目:“数学机械化方法及其在数字化设计制造中的应用”，2011-2016，首席科学家。

l 国家重点基础研究发展计划(973)项目:“数学机械化方法及其在信息技术中的应用”，2005-2010，首席科学家。

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

l 国家攀登计划“数学机械化及其应用”子项目负责人，1997。

l 国家攀登计划“机器证明及其应用”子项目负责人，1992－1996。

l 863计划“智能计算机”主题课题“吴方法软件研究”负责人,1991－1993.

l 美国自然科学基金 CCR-0201253, 2002-2004, “Automated Geometry Reasoning and Methods fir Diagram Generation”,共同主持人 （CO-PI）。

四、学术任职

l 中国数学会，副理事长（2011－2015）

l 中国系统工程学会，副理事长（2010－2014）

l 国际符号与代数年会(ISSAC)指导委员会委员、主席（2006－2009）

l 《系统科学与数学》，副主编

l Journal of Systems Science and Complexity，副主编

l Journal of Symbolic Computation ，编委

l International Journal of Computers, Communications & Control，编委

l 《计算机辅助设计与图形学学报》，编委

l 《中国图像图形学报》，编委

l 《中国高校应用数学学报》，编委