9001cc金沙下载

热烈祝贺我院张景中院士荣获 2021年“CCF终身成就奖”

发布时间:2022-01-27文章来源: 浏览次数:

2022年1月25日,中国计算机学会发布《2021年“CCF终身成就奖”评选结果公告》,我院张景中院士获得中国计算机学会授予的终身成就奖!

据悉, “CCF终身成就奖” 于2010年设立,授予在计算机科学、技术和工程领域取得重大突破,成就卓著、贡献巨大的资深中国计算机科技工作者。

CCF奖励委员会决定授予国防科技大学胡守仁教授、广州大学张景中教授2021年“CCF终身成就奖”,以表彰他们为中国计算机事业的发展做出的卓越贡献。

附:

张景中

广州大学教授

中国科学院院士

获奖理由:

张景中教授提出了定理机器证明的数值并行方法,解决了初等图形在欧氏空间嵌入等问题,创建了几何定理可读证明自动生成的原理和方法,推动了机器定理证明智能化技术的发展。长期致力于科普工作并做出了突出贡献。


关闭 打印责任编辑:戚佩玲