中国科学院数学与系统科学研究院博士生导师：高小山

发布时间：2016-11-18 11:20

  本文关键词：中国科学院盈科优秀青年学者奖，由笔耕文化传播整理发布。

个人简介

　　高小山

　　中国科学院系统所研究员、副院长，

　　中国科学院数学机械化重点实验室主任

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

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

　　88—90，美国Texas大学，博士后

　　93—96，美国Wichita州立大学, 访问学者

　　88— 中科院系统所

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

　　二、获奖情况

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

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

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

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

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

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

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

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

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

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

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

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

　　三、承担项目

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

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

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

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

　　国家攀登计划“机器证明及其应用”子项目负责人，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)。

　　四、学术任职

　　中国系统工程学会，副理事长

　　中国数学会，常务理事

　　国际符号与代数年会(ISSAC)指导委员会委员

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

　　Journal of Systems Science and Complexity，副主编

　　Journal of Symbolic Computation ，编委

　　International Journal of Computers, Communications & Control，编委

　　Electronic Journal of Mathematics and Technology，编委

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

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

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

上一篇：中国科学院数学与系统科学研究院博士生导师：葛力明
下一篇：中国科学院数学与系统科学研究院博士生导师：付保华研究员

  本文关键词：中国科学院盈科优秀青年学者奖，由笔耕文化传播整理发布。

本文编号：180657