高小山

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

1988—1990，

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

（1） “十一五”国家科技计划执行，国家级，2011 

（2） ISSAC杰出论文奖，其他级，2011 

（3） 中创软件人才奖，其他级，2006 

（4） 中国科学院先进工作者，院级级，2006 

（5） 数学与系统科学研究院突出成果，研究所（学校）级，2003 

（6） 第一届中国科协期刊优秀学术论文，部委级，2003 

（7） 中国科学院盈科优秀青年学者，院级级，2000 

（8） ATCM“最佳论文奖”，其他级，1999 

（9） 求是杰出青年学者奖，其他级，1999 

（10） 中科院（十大）杰出青年，院级级，1999 

（11） 中科院有突出贡献的中青年专家，院级级，1998 

（12） 中科院青年科学家一等奖，院级级，1997 

（13） 国家自然科学二等奖，国家级，1997 

（14） 中国科学院自然科学一等奖，院级级，1995 

（1） 一种由圆柱副、圆柱副和球面副构成的并联机构，发明，2008，第1作者，专利号：ZL 2006 1 0109345.6 

（2） 由圆柱副、圆柱副和球面副构成的并联机构，发明，2007，第1作者，专利号：ZL 2004 1 0073712.2 

（3） 数控系统基于多周期最优拐角的小直线段插补方法，发明，2010，第4作者，专利号：ZL200910083950.4 

（4） 基于二次B样条曲线对G01代码的拟合及插补方法，发明，2009，第5作者，专利号：ZL200910082732.9 

（5） 基于曲面重构的三轴数控机床刀具的半径补偿方法，发明，2010，第2作者，专利号：ZL200910089707.3 

1. 国家基金委优秀创新群体，“数学机械化及其在信息技术中的应用”，2009 – 2014，学术带头人。 

2. 973项目：“数学机械化与数字化设计制造”，2011-2015，任首席科学家。 

3.  973项目：“数学机械化方法及其在信息技术中的应用”，2004-2009，首席科学家。 

4.  973项目：“数学机械化与自动推理平台”，1998-2003，首席科学家。 

5. 国家杰出青年基金，1998—2001。 

6. 中国科学院重要方向性项目，“基于数学机械化方法的数控系统研制”，2008－2010，项目共同负责人。 

7. 中科院百人计划，2001-2004。 

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

9. 国家攀登计划“机器证明及其应用”子项目，1992－1996。 

10. 美国自然科学基金 CCR-0201253, 2002-2005，“Automated Geometry Reasoning and Methods of Diagram Generation”， 主要研究人员 （CO-PI）。 

11. 863项目：“吴方法计算机软件研究”，1991－1993。 

1. ACM SIGSAM Advisory Board, 委员，2010-2014 

 2. ISSAC Steering Committee，委员，2006－2009；主席，2008－2009。 

3. ACM/SIGSAM Jenks Symbolic Computation Software Award，评奖委员会委员，2011-2013 

 4. 中国数学会，常务理事，1999－2007；副理事长 2011-2014 

 5. 中国应用与工业数学会，副理事长 2012-2015 

 6. 中国系统工程学会，副理事长，2006－2010。 

7. 中国图学会，常务理事：2010-2013 

 8. 中国数学会计算机数学专业委员会，主任，2007－2011。 

9. Journal of System Science and Complexity，主编，2004－2008。 

10. Journal of Symbolic Computation，编委，2003－ 。 

11. 《系统科学与数学》，副主编，2004－2008。 

12. 《系统工程理论与实践》，副主编，2007－2010。 

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

14. 《中国图像图形学报》，编委，2004－ 

15. 《中国高校应用数学学报》，编委，2004－ 

16. 《数学研究与评论》，编委，2010－ 

2017年8月1日，入选中国科学院院士候选名单。