一、简历

高小山,研究员

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

 

研究方向:数学机械化,符号计算,自动推理,智能软件开发

 

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        国家基金委优秀创新群体,“数学机械化及其应用”,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  中国工业与应用数学会,副理事长

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

l  ACM/SIGSAM, Advisor

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

l  Journal of Systems Science and Complexity,副主编

l  Journal of Symbolic Computation ,编委

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

l  Electronic Journal of Mathematics and Technology编委

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

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

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