雷锋网 AI 科技评论按：2019 年 1 月 19 日，2018 CCF （中国计算机学会）颁奖大会在北京金隅喜来登酒店隆重举行，过去一年里为 CCF 发展做出贡献的 300 余位嘉宾从全国各地汇聚一堂，应邀见证了这辉煌荣耀的时刻。会上一共颁出 8 个奖项，其中「CCF 终身成就奖」由来自中国人民解放军军事科学院的何新贵研究员和来自中国科学院的周巢尘研究员共同获得。

颁奖会以「责任•创新•奉献」为主题，颁发了 2018 年度 CCF 终身成就奖、CCF 夏培肃奖、CCF 杰出贡献奖、CCF 卓越服务奖、CCF 杰出教育奖、CCF 计算机企业家奖、CCF 杰出工程师奖、CCF 优秀博士学位论文奖等 8 个奖项。

其中「CCF 终身成就奖」授予了中国人民解放军军事科学院系统工程研究院系统总体研究所何新贵研究员和中国科学院软件研究所周巢尘研究员，以表彰他们为中国计算机事业的发展做出的卓越贡献。

最后，雷锋网 AI 科技评论将大会完整获奖名单整理如下：

CCF 终身成就奖

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

【何新贵研究员】

CCF会士，中国工程院院士

获奖理由:

何新贵研究员是我国首批计算机软件工作者之一，长期从事计算机软件、人工智能的理论研究和工程实践，参加并主持了我国多项军用软件的研制工作。

70 年代初，他在国产计算机上成功研制出多个 FORTRAN 编译系统，是我国第一批自主开发并向全国推广的编译程序系统，有效促使我国军用数值计算摆脱落后的编程状态，促使我国工程领域全面采用高级程序设计语言。他提出的模糊数库、加权模糊逻辑、模糊分布值逻辑、可执行模糊语义网络、模糊 H 网、主动模糊网络、模糊推理网络、加权神经元网络以及过程神经元网络等理论与技术对边缘科学、「知识处理学」的建立和发展起了较大作用。他在编译、数据库、模糊逻辑、最优化处理和军用软件等领域做出了突出贡献，促进了我国数据库、人工智能和软件工程技术发展和应用。

鉴于何新贵研究员为中国计算机事业的发展做出的卓越贡献，CCF 奖励委员会决定将 2018 年「CCF 终身成就奖」授予他，以表彰他的成就和贡献。

【周巢尘研究员】

CCF 会士，中国科学院院士

获奖理由:

周巢尘研究员是我国分布式程序设计理论研究的先驱者和开拓者之一，国际著名计算机理论专家，第三世界科学院院士。长期从事分布式计算、理论计算机科学等方面研究。

1981 年，他与英国科学家合作提出了分布式计算系统正确性的组合式验证方法。1991 年，他与英国及丹麦科学家合作建立了时段演算理论 (Duration Calculus)，在国际上首次将连续数学概念（积分）引入计算机科学，并基于区间时序逻辑，建立了实时系统形式设计和验证的逻辑方法，开创了实时系统形式设计的新途径。后续引领国际二十多个国家的科学家参与这一方面的研究，使得时段演算理论和时间自动理论被认为是形式设计实时系统的两个主流方法。

鉴于周巢尘研究员为中国计算机事业的发展做出的卓越贡献，CCF 奖励委员会决定将 2018 年「CCF 终身成就奖」授予他，以表彰他的成就和贡献。

CCF 夏培肃奖

授予在学术、工程、教育及产业等领域，为推动中国的计算机事业做出杰出贡献、取得突出成就的女性科技工作者。该奖于 2014 年设立。

【李晓梅教授】

获奖理由:

李晓梅教授是我国数值并行算法研究的开拓者之一，为银河-I/银河-II 超级计算机研制和数值天气预报、核模拟、石油勘探等领域的向量化应用软件研制，及我国并行计算教育和人才培养做出了突出贡献。

为此，CCF 奖励委员会决定授予李晓梅教授 2018 年「CCF 夏培肃奖」，以表彰她在并行算法研究方面所做出的杰出贡献。

【于洪志教授】

获奖理由: