CCF 各大奖项出炉，何新贵、周巢尘荣获 2018 年度终身成就奖- 专知

CCF 各大奖项出炉，何新贵、周巢尘荣获 2018 年度终身成就奖

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

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

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

CCF 终身成就奖

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

【何新贵研究员】

CCF会士，中国工程院院士

获奖理由:

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

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

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

【周巢尘研究员】

CCF 会士，中国科学院院士

获奖理由:

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

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

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

CCF 夏培肃奖

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

【李晓梅教授】

获奖理由:

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

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

【于洪志教授】

获奖理由:

于洪志教授长期从事藏文信息处理研究，在藏文编码国际标准、藏汉双语信息处理、藏文字处理软件等方面做出了突出贡献，推动了少数民族语言信息处理技术发展和应用普及。

为此，CCF 奖励委员会决定授予于洪志教授 2018 年「CCF 夏培肃奖」，以表彰她在藏文信息处理研究方面所做出的杰出贡献。

CCF 卓越服务奖

授予为 CCF 连续服务十年以上并有重要贡献的 CCF 会员。该奖于 2011 年设立。

【臧根林博士】

获奖理由:

臧根林博士，CCF 常务理事。自 2003 年起，参与创建 YOCSEF 广州分论坛和广州会员活动中心，历任副主席、主席等职。担任 CCF 广州主席后，在当地会员服务和发展方面取得了极大的进展，使广州分部成为优秀分部。他多次在「CCF 走进高校」中演讲，深度参与 CCF 吕梁教育扶贫项目，贡献巨大。他是多年服务于 CCF 并做出重要贡献的志愿者。

为此，CCF 奖励委员会决定授予臧根林博士 2018 年「CCF 卓越服务奖」，以表彰他对 CCF 的重要贡献。

CCF 杰出贡献奖

奖励对 CCF 有独特或重大贡献；就重大问题提出独到观点或建议被 CCF 采纳并产生良好效果；发起并组织 CCF 有影响力的新的系列学术会议；推动学会与其他组织合作，促进了 CCF 的发展；向学会提供大额捐赠或资助；有其他独特或重大贡献的个人或单位。该奖于 2010 年设立。

【 David Alan Grier 教授】

获奖理由:

David Alan Grier 教授受 CCF 邀请，2013 年 3 月起成为《中国计算机学会通讯》（CCCF）的专栏作家，坚持每月为 CCCF 撰写专栏文章。他的很有深度的文章受到 CCF 会员及其他读者的高度好评，提升了 CCCF 在业界的影响力。他高度认同 CCF 的文化并努力帮助 CCF 发展。

为此，CCF 奖励委员会决定授予 David Alan Grier 教授 2018 年「CCF 杰出贡献奖」，以表彰他对 CCF 的杰出贡献。

【肖建国教授】

CCF 会士