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

雷锋网 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 夏培肃奖」，以表彰她在并行算法研究方面所做出的杰出贡献。

【于洪志教授】

获奖理由:

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

为此，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 会士

获奖理由:

肖建国教授 2010 年受学会委托，承担 CCF 中文信息技术专委会重组的重任，完成重组后被选举为专委主任，长达六年。在任期间，他领导专委严格按 CCF 规章积极开展各项活动，使该专委成为 CCF 最优秀专委之一。

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

CCF 计算机企业家奖

授予在计算机和信息产业发展方面做出重大贡献的企业领导者，且企业的业绩被业内和社会广泛认可。该奖于 2013 年设立。

【陈志列先生】

获奖理由:

陈志列先生带领团队创立研祥集团，坚持以工业控制计算机为主体，奋斗二十余年，推动了我国特种计算机技术与产业的发展。

为此，CCF 奖励委员会决定授予陈志列先生 2018 年「CCF 计算机企业家奖」，以表彰他对工业控制计算机产业所做出的突出贡献。

CCF杰出工程师奖

授予在计算机工程技术及应用领域有突出成就和重要贡献者。该奖于 2016 年设立。

【刘聪博士】

获奖理由:

刘聪博士在语音识别领域不断创新，并实现语音识别准确率持续提升，多次获得国际语音识别技术评测冠军。

为此，CCF 奖励委员会决定授予刘聪博士 2018 年「CCF 杰出工程师奖」，以表彰他在语音识别技术和语音开放平台方面所做出的贡献。

【吴峰光博士】

获奖理由:

吴峰光博士过去十几年在 Linux 内核上孜孜不倦地工作，从读写缓存算法、内存管理机制到 NVDIMM 支持等做了非常出色的贡献，0day/LKP(Linux Kernel Performance) 测试系统在全球 Linux 社区得到广泛应用。他是国内 Linux 开源杰出贡献者之一。

为此，CCF 奖励委员会决定授予吴峰光博士 2018 年「CCF 杰出工程师奖」，以表彰他在 Linux 内核和开源社区方面所做出的贡献。

CCF 杰出教育奖

授予在计算机教育的教育思想、教学方法、教学、课程改革和人才培养方面有突出贡献，或在 CCF 推动中国计算机教育改革与发展方面有重要贡献的人士。该奖于 2012 年设立。

【杨士强教授】

CCF 会士

获奖理由:

杨士强教授在推动国家级计算机类实验教学示范中心建设和引领我国计算机类专业实践教学改革方面发挥了重要作用，在组织实施 CCF 走进高校中贡献巨大。他教书育人，成果丰硕。

为此，CCF 奖励委员会决定授予杨士强教授 2018 年「CCF 杰出教育奖」。

CCF 优秀博士学位论文奖

授予在计算机科学与技术及其相关领域的基础理论或应用基础研究方面有重要突破，或在关键技术和应用技术方面有重要创新的中国计算机领域博士学位论文的作者。2006 年设立。为了鼓励研究人员将高质量研究成果优先发表在中文期刊，从2018年起，“CCF优秀博士学位论文奖”将发表母语论文作为参评刚性要求。

雷锋网 AI 科技评论