CCF与腾讯携手为胡守仁教授、张景中教授颁发终身成就奖

导语：2月19日，2021年度“中国计算机学会颁奖典礼”在浙江横店隆重举行。中国计算机学会理事长梅宏院士、秘书长唐卫清先生、腾讯公司副总裁王巨宏女士及高校科研院所专家学者和企业代表等两百余人参加颁奖典礼。国防科技大学胡守仁教授和广州大学张景中教授获得本年度CCF终身成就奖。

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

胡守仁教授是我国第一代计算机体系结构的科技工作者，长期从事高性能计算机系统的研究工作，作为负责人之一完成了151—Ⅳ百万次大型计算机和我国首台亿次巨型计算机「银河Ⅰ」的研制，为我国高性能计算机事业做出了卓越贡献。张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题，创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。他还长期致力于科普工作并做出了突出贡献。他们因此获得了本年度CCF终身成就奖。

CCF理事长梅宏院士、奖励委员会主席钱德沛院士和腾讯公司副总裁王巨宏女士为两位终身成就奖获奖学者颁奖。两位前辈分享他们的计算机从业之路以及从业以来的厚重感悟，勉励后辈在在这样一个伟大的转折时代，不惧风雨，持续耕耘，努力创新，共同推动中国计算机事业的发展与进步。

梅宏院士、钱德沛院士、王巨宏女士为胡守仁教授颁奖（女儿胡晓华女士代领）

“研究和开发计算机系统和利用计算机的应用，这是年轻人的事业。希望年轻的同志们，为我们国家综合国力的增强、人民生活水平的提升、计算机事业的发展做出更大的成绩！”——国防科技大学胡守仁教授

梅宏院士、钱德沛院士、王巨宏女士为张景中教授颁奖

“当代年轻人有机会更早、更系统地接受信息技术教育，他们有机会在未来人工智能的大潮中取得更好的成绩。目前包括机器定理证明智能化在内，计算机技术的各个领域还有很大的发展空间。希望年轻一辈在新的时代里，可以为计算机技术的发展做出更为重要的贡献！”——广州大学张景中教授

王巨宏女士在颁奖致辞中也表达了腾讯公司的希冀：“中国计算机学会与腾讯坚持十一年为国家计算机科学技术领域做出卓越贡献的老一辈科技工作者颁发终身成就奖，这是做了一件正确且重要的事情。未来希望我们能够携手把CCF的奖励工作向着百年规划发展。”

腾讯公司副总裁王巨宏女士颁奖并致辞

腾讯公司已经连续十一年资助该奖项。十一年来，腾讯与CCF共同为22位对中国计算机事业做出卓越贡献的领路人颁奖。未来，腾讯将持续资助CCF终身成就奖以表达对老科学家们深深的敬意。秉承“用户为本，科技向善”的理念，用实际行动继承并弘扬他们的精神，为中国计算机事业发展贡献一份力量。

获奖学者介绍

国防科技大学胡守仁教授

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

广州大学张景中教授

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

CCF终身成就奖

中国计算机学会最高奖项

CCF终身成就奖是中国计算机学会最高也是最重要的奖项。该奖项授予70岁以上在计算机科学技术和工程领域取得重大突破，成就卓著，贡献巨大的资深中国计算机科技工作者。该奖项于2010年设立。自2011年起作为CCF战略合作伙伴，腾讯赞助支持CCF终身成就奖，以表彰他们为中国计算机事业的发展做出的卓越贡献。

CCF终身成就奖历届获奖者

2010年——2020年

2020年