基本信息
高小山  男  博导  中国科学院数学与系统科学研究院
电子邮件： xgao@mmrc.iss.ac.cn
通信地址： 中关村东路55号中科院数学院
邮政编码： 100190

研究领域

人工智能数学理论，数学机械化，符号计算，自动推理，智能CAD，数控算法

招生信息

硕博连读

招生专业
070104-应用数学
招生方向
人工智能数学理论
计算机数学

教育背景

1988-09--1990-07   美国Texas大学   博士后
1984-09--1988-07   中科院系统所   博士
1980-09--1984-07   国防科学技术大学   学士
学历
-- 研究生
学位
-- 博士

工作经历

1991.12—1997.12  中科院系统科学研究所 副研
1993—1996            美国Wichita州立大学, 访问学者
1997.12—1998.12  中科院系统科学研究所 研究员
1998.12—               中科院数学与系统科学研究院 研究员、 
                                系统科学研究所 所长（2003-2011）
                                副院长（2012-2023）

社会兼职
2020-11-29-2021-04-30,中国数学会，副理事长, 副理事长
2016-01-01-今,中国科学-数学, 编委
2015-04-30-今,Journal of Systems Science and Complexity, 主编
2010-12-31-2021-11-30,中国工业与应用数学会，副理事长, 副理事长
2010-12-31-今,Journal of Symbolic Computation ，编委, 编委

教授课程

数学机械化