搜索结果: 1-2 共查到“信息科学与系统科学 杰出贡献奖”相关记录2条 . 查询时间(0.172 秒)
华南理工大学计算机科学与工程学院陈俊龙教授荣获2021年度吴文俊人工智能杰出贡献奖(图)
华南理工大学计算机科学与工程学院 陈俊龙 吴文俊人工智能杰出贡献奖 控制论 智能系统与控制 计算智能 数据科学
2022/7/26
中国科学院数学与系统科学研究院高小山研究员获吴文俊人工智能杰出贡献奖
中国科学院数学与系统科学研究院 高小山 研究员 吴文俊 人工智能 杰出贡献奖 数学机械化
2019/11/12
近日,第九届“吴文俊人工智能科学技术奖”揭晓,我院高小山研究员为吴文俊人工智能杰出贡献奖获得者之一。高小山现为中国科学院数学与系统科学研究院研究员、常务副院长。他主要从事数学机械化研究,对该领域的发展做出了重要贡献,被吴文俊称为数学机械化领域目前的“领军人物”。针对智能CAD、机器人、计算机视觉、智能数控加工等机器智能中的关键需求,高小山带领团队建立了微分差分系统机器证明若干基本方法、发展了几何约...