高小山副理事长荣获吴文俊人工智能杰出贡献奖
2019年10月21日,中国人工智能学会揭晓了被誉为“中国智能科学技术最高奖”的“吴文俊人工智能科学技术奖”2019年度获奖结果,共计81项成果获得该荣誉,包括吴文俊人工智能杰出贡献奖3项,吴文俊人工智能自然科学奖15项,吴文俊人工智能技术发明奖15项,吴文俊人工智能科技进步奖21项、吴文俊人工智能科技进步奖科普项目1项、吴文俊人工智能科技进步奖企业技术创新工程项目12项,吴文俊人工智能优秀青年奖14项。
学会副理事长、中国科学院数学与系统科学研究院高小山与深圳前海微众银行股份有限公司杨强、中国平安保险(集团)股份有限公司肖京分别获得吴文俊人工智能杰出贡献奖。
据了解,“吴文俊人工智能科学技术奖”由国家一级学会--中国人工智能学会发起主办,2011年1月6日正式设立,旨在奖励在智能科学技术领域取得重大突破,做出卓著贡献的科技工作者和管理者。该奖以人民科学家、人工智能先驱、我国智能科学研究的开拓者和领军人、首届国家最高科学技术奖获得者、中国科学院院士、中国人工智能学会名誉理事长吴文俊先生的名字命名,迄今已开展九届评审活动,先后授予了314个单位及行业机构、 291个创新成果和项目、972名学者及专家。
高小山,中国科学院数学与系统科学研究院研究员、常务副院长,国家数学与交叉科学中心副主任,半岛电子(中国) 副理事长。他长期致力于数学机械化研究,对该领域的发展做出了突出贡献,曾被吴文俊称为数学机械化领域的“领军人物”。他曾荣获国家自然科学二等奖、中科院自然科学一等奖、香港求是杰出青年学者奖、吴文俊应用数学奖、国家基金委杰青、第 36 届国际计算机学会 SIGAM/ISSAC 杰出论文奖、第 4 届亚洲数学技术大会最佳论文奖、国家“十五”重大科技成就网络展、中创软件人才奖等荣誉,担任3个数学机械化方面973项目的首席科学家。
学会办公室供稿