2019
   综合新闻
      2019
      2018
      2017
      2016
      2015
      2014
      2013
      2012
      2011
      2010
      2009
      2008
      2007
      2006
现在位置:首页 > 新闻动态 > 综合新闻 > 2019
我院高小山研究员获吴文俊人工智能杰出贡献奖
2019-10-22 | 编辑:文/综合处

  近日,第九届“吴文俊人工智能科学技术奖”揭晓,我院高小山研究员为吴文俊人工智能杰出贡献奖获得者之一  

  高小山现为万博manbetx客户端研究员、常务副院长。他主要从事数学机械化研究,对该领域的发展做出了重要贡献,被吴文俊称为数学机械化领域目前“领军人物”。针对智能CAD、机器人、计算机视觉、智能数控加工器智能关键需求,高小山带领团队建立了微分差分系统机器证明若干基本方法、发展了几何约束求解的系统高效算法、合作发展几何定理机器证明的消点法、设计了多种实用约束下快速的时间最优运动插补控制算法,在数学机械化核心问题上取得了系统与原创成果并得到重要应用作为典型数学与人工智能交叉研究,得到了两个领域同行的广泛与高度评价。高小山曾获国家自然科学二等奖,中科院自然科学一等奖,香港求是杰出青年学者奖,吴文俊应用数学奖,国家基金委杰青,第 36 届国际计算机学会 SIGAM/ISSAC 杰出论文奖,第 4 届亚洲数学技术大会最佳论文奖,国家十五重大科技成就网络展,中创软件人才奖等,担任3个数学机械化方面973项目的首席科学家 

  “吴文俊人工智能科学技术奖”由中国人工智能学会发起主办,以人民科学家、我国智能科学研究的开拓者和领军人、首届国家最高科学技术奖获得者、中国人工智能学会名誉理事长吴文俊命名。自2011年正式设立以来至今已在全国范围内开展九届评审活动。该奖旨在奖励在智能科学技术领域取得重大突破,做出卓著贡献的科技工作者和管理者,被誉为“中国智能科学技术最高奖”。 

    

附件下载:
 
 
【打印本页】【关闭本页】
电子政务平台   |   科技网邮箱   |   ARP系统   |   会议服务平台   |   联系我们   |   友情链接

万博manbetx客户端