高小山,男,河北平山人,中国科学院系统所研究员,中国科学院国家数学交叉中心副主任,中国科学院数学与系统科学研究院副院长,中国科学院数学机械化重点实验室主任.
国家重点基础研究发展计划(973)项目:"数学机械化方法及其在信息技术中的应用",2004年-2009年,首席科学家.
国家重点基础研究发展规划(973)项目:"数学机械化与自动推理平台",1999年-2003年,首席科学家.
国家攀登计划"数学机械化及其应用"子项目负责人,1997年.
国家攀登计划"机器证明及其应用"子项目负责人,1992年-1996年.
863计划"智能计算机" 主题子课题"吴方法软件研究"负责人,1991年-1993年.