吴文俊人工智能科学技术奖

基本信息

姓名 高小山 性别
出生年月 出生地 河北平山
毕业院校 中国科学技术大学 毕业时间 1988年
最高学历 博士 职务/职称 研究员/杰青
研究方向 数学机械化
所在单位 中国科学院数学与系统科学研究院

专家简介

高小山,男,河北平山人,中国科学院系统所研究员、中国科学院国家数学交叉中心副主任,中国科学院数学与系统科学研究院副院长,中国科学院数学机械化重点实验室主任。

研究项目

国家重点基础研究发展计划(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,编委

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

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

智库简介
专家智库经中国人工智能学会、吴文俊人工智能技术奖评审委员会指导,联合国内外人工智能领域知名学者组成,致力于开创人工智能科学与技术发展的研究机构。智库秉承客观、公正、创新、包容的宗旨,推行智能、前沿、绿色、可持续的创新理念。加强与国内外著名高校、研究机构和产业界进行合作交流,汇聚了超过千余名学界、科技、企业等领域影响卓越的专家担任顾问、学术委员和研究员,为我国智能时代的宏观决策、技术趋势提供智力支持和咨询服务。
战略合作
您是第 958249 位访问者
版权所有 © 中国人工智能学会
ICP备案号:京ICP备13016090号-5
技术支持:智能君博科技