高小山

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

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

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

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