一、简历

高小山,研究员

中国科学院数学与系统科学研究院,常务副院长

 

研究方向:数学机械化,人工智能数学理论,符号计算,自动推理,智能系统

 

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

8890,美国Texas大学,博士后

9396,美国Wichita州立大学, 访问学者

88        中科院系统所

99        中科院数学与系统科学研究院

 

二、获奖情况

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

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

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

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

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

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

l  第四届亚洲数学技术大会 (ATCM99)“最佳论文奖”,1999.

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

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

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

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

l  (中创软件基金会)“中创软件人才奖”,2006.

l  “十一五”国家科技计划执行突出贡献奖,2011

l  国际计算机协会(ACM)符号与代数计算专业委员会(SIGSAM)颁发的ISSAC杰出论文奖, 2011

l  数学与系统科学研究院“十大科研进展”:微分Chow形式与稀疏微分结式, 2011

l  吴文俊应用数学奖,2018

l  吴文俊人工智能杰出贡献奖,2019

 

三、承担项目

l  “人工智能的数学理论”,2018-,首席科学家

l  国家基金委基础科学中心项目,“流形上的几何、分析与计算”,2017-2021

l  国家基金委优秀创新群体,“数学机械化及其应用”,2009 2014,学术带头人。

l  国家重点基础研究发展计划(973)项目:“数学机械化方法与数字化设计制造”,2011-2015,首席科学家。

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

l  国家重点基础研究发展规划(973)项目:“数学机械化与自动推理平台”,1999-2003,首席科学家。

l  国家杰出青年基金,19982000

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

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

 

四、学术任职

l 中国工业与应用数学会,副理事长

l ACM/SIGSAM, Advisor

l Journal of Systems Science and Complexity,主编

l Journal of Symbolic Computation ,编委

l 《中国科学:数学》,编委

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

l 国际符号与代数年会(ISSAC)指导委员会委员、主席(06-09)

l 中国数学会,副理事长(2013-2019