一、简历
高小山，研究员
中国科学院数学与系统科学研究院
中国科学院国家数学与交叉科学中心执行主任
研究方向：数学机械化，人工智能数学理论，自动推理，符号计算，几何约束求解与智能CAD，高端数控插补算法
1984—1988，中国科学院系统所获博士学位
1988—1990，美国Texas大学奥斯丁分校，博士后
1993—1996，美国Wichita州立大学, 访问学者
1988— 中国科学院系统科学所
1999— 中国科学院数学与系统科学研究院
二、获奖与荣誉
l 中国科学院自然科学一等奖，1995
l 国家自然科学二等奖,1997
l 中国科学院青年科学家一等奖，1997
l 中国科学院有突出贡献的中青年专家，1998
l (香港求是基金会)求是杰出青年学者奖,1999
l 中国科学院（十大）杰出青年，1999
l 第四届亚洲数学技术大会 (ATCM’99)“最佳论文奖”,1999
l 中国科学院盈科优秀青年学者奖,2000
l 第一届中国科协期刊优秀学术论文奖，2003
l 数学与系统科学研究院突出成果奖：“几何自动作图方法、软件与应用”，2003
l 国家十五重大科技成就网络展，2005
l 中国科学院先进工作者，2006
l （中创软件基金会）“中创软件人才奖”，2006
l 数学与系统科学研究院“关肇直首席研究员”,2009
l “十一五”国家科技计划执行突出贡献奖，2011
l 国际计算机协会(ACM) SIGSAM颁发的ISSAC杰出论文奖, 2011
l 数学与系统科学研究院十大科研进展：“数控加工中的插补方法”，2013
l 数学与系统科学研究院突出科研成果：“微分Chow形式与稀疏微分结式”，2016
l 吴文俊应用数学奖，2018
l 吴文俊人工智能杰出贡献奖，2019
l 中国科学院成立70周年科技成就展（大国重器部分），2019
l 中国工业与应用数学会会士，2020
l 数学与系统科学研究院重要科研进展奖：“量子隐私保护计算与量子机器学习的数学理论与算法”，2022年
三、承担项目
l 国家基金委基础科学中心项目，“流形上的几何、分析与计算”，骨干成员，2017-2026
l 人工智能的数学理论，2018-2022，首席科学家
l 国家基金委优秀创新群体，“数学机械化及其应用”，2009 – 2014，学术带头人。
l 国家重点基础研究发展计划(973)项目:“数学机械化方法与数字化设计制造”，2011-2015，首席科学家。
l 国家重点基础研究发展计划(973)项目:“数学机械化方法及其在信息技术中的应用”，2004-2009，首席科学家。
l 国家重点基础研究发展规划(973)项目:“数学机械化与自动推理平台”，1999-2003，首席科学家。
l 国家杰出青年基金，1998—2000。
l 863计划“智能计算机”主题子课题“吴方法软件研究”负责人, 1991－1993.
l 美国自然科学基金 CCR-0201253,
2002-2004, “Automated Geometry Reasoning and Methods
fir Diagram Generation”,共同主持人 （CO-PI）。
四、学术任职
l Journal of Systems Science and Complexity，主编
l Journal of Symbolic Computation ，编委
l 中国科学：数学，编委
l 国际符号与代数年会(ISSAC)指导委员会委员、主席(06-09)
l 中国数学会，副理事长（2013-2019）
l 中国工业与应用数学会，副理事长（2013-2021）
l ACM/SIGSAM, Advisor