| 词条 | 高小山 |
| 释义 | 概述：中国科学院系统所研究员、所长， 中国科学院数学机械化重点实验室主任 研究方向：数学机械化，符号计算, 自动推理，信息安全，智能软件开发 经历：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，编委 《计算机辅助设计与图形学学报》，编委 《中国图像图形学报》，编委 《中国高校应用数学学报》，编委 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。