“CCF终身成就奖”授予在计算机科学、技术和工程领域取得重大突破，成就卓著、贡献巨大的资深中国计算机科技工作者。该奖于2010年设立。
CCF奖励委员会决定授予国防科技大学胡守仁教授、广州大学张景中教授2021年“CCF终身成就奖”，以表彰他们为中国计算机事业的发展做出的卓越贡献。
特此公告。
中国计算机学会
2022年1月25日
胡守仁
国防科技大学教授
获奖理由：
胡守仁教授是我国第一代计算机体系结构的科技工作者，长期从事高性能计算机系统的研究工作，作为负责人之一完成了151—Ⅳ百万次大型计算机和我国首台亿次巨型计算机“银河Ⅰ”的研制，为我国高性能计算机事业做出了卓越贡献。
张景中
广州大学教授
中国科学院院士
获奖理由：
张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题，创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。长期致力于科普工作并做出了突出贡献。
CCF推荐
【精品文章】
点击“阅读原文”，了解关于CCF奖励。
文章转载自中国计算机学会，如果涉嫌侵权，请发送邮件至：contact@modb.pro进行举报，并提供相关证据，一经查实，墨天轮将立刻删除相关内容。
