中国人工智能学会

Chinese Association for Artificial Intelligence

2019年度吴文俊人工智能杰出贡献奖:高小山

讲者:
高小山
时长:
1分31秒
时间:
2019年
关键词:
数学机械化

视频简介:

2019年度吴文俊人工智能杰出贡献奖获奖者——高小山。获奖理由:高小山在数学机械化研究中取得了系统与原创成果,对该领域的发展做出了重要贡献。他提出了几何约束求解的完整高效算法并解决了最佳空间并联机构构型与视觉定位基本问题,将机器证明开拓到自动作图新方向。合作建立了基于不变量的消去理论,使机器证明进入到与传统证明比美的新阶段。将数学机械化核心理论开拓到微分差分系统,开拓了机器证明的适用范围、降低了计算复杂度。针对智能数控加工重要实用约束,设计了快速时间最优插补算法,显著改进了加工效率与精度。

讲者简介:

高小山

现任中国科学院数学与系统科学研究院研究员、常务副院长,主要从事数学机械化研究,是具有重要国际影响的数学机械化领域目前的学术带头人。出版专著4部,发表论文130余篇,谷歌学术他引4500余次。曾获国家自然科学二等奖(第三),中科院自然科学一等奖(第二),第36届国际计算机学会SIGSAM/ISSAC杰出论文奖,香港求是杰出青年学者奖,第4届亚洲数学技术会议最佳论文奖,吴文俊应用数学奖,国家基金委杰出青年基金。作为首席科学家主持三个数学机械化973项目,获科技部“十一五国家科技计划执行突出贡献奖”。