2021年“CCF终身成就奖”评选结果公告

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

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

特此公告。

中国计算机学会

2022年1月25日

附：

胡守仁

国防科技大学教授

获奖理由:

胡守仁教授是我国第一代计算机体系结构的科技工作者，长期从事高性能计算机系统的研究工作，作为负责人之一完成了151—Ⅳ百万次大型计算机和我国首台亿次巨型计算机“银河Ⅰ”的研制，为我国高性能计算机事业做出了卓越贡献。

张景中

广州大学教授

中国科学院院士

获奖理由:

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