责任·创新·奉献 — CCF与腾讯共同为何新贵院士、周巢尘院士颁发终身成就奖

导语

1月19日，2018年度“中国计算机学会（CCF）颁奖大会”在北京隆重举行。本届颁奖会以“责任•创新•奉献”为主题，颁发了CCF终身成就奖、CCF夏培肃奖、CCF杰出贡献奖、CCF卓越服务奖、CCF杰出教育奖、CCF计算机企业家奖、CCF杰出工程师奖、CCF优秀博士学位论文奖等8个奖项。来自海内外的企事业单位科研院所的300余位嘉宾应邀见证这辉煌的时刻。

CCF副理事长、腾讯公司副总裁王巨宏女士代表腾讯与CCF名誉理事长李国杰院士共同为中国人民解放军军事科学院系统工程研究院系统总体研究所研究员、中国工程院院士何新贵和中国科学院软件研究所研究员、中国科学院院士周巢尘颁发2018“CCF终身成就奖”。CCF终身成就奖设立于2010年，授予在计算机科学、技术和工程领域取得卓越成就、贡献巨大的资深中国计算机科技工作者，自2011年起腾讯作为CCF战略合作伙伴便开始资助此奖项。

CCF名誉理事长李国杰院士（右）

CCF副理事长、腾讯公司副总裁王巨宏（左）

为何新贵研究员颁发“CCF终身成就奖”

CCF名誉理事长李国杰院士（右）

CCF副理事长、腾讯公司副总裁王巨宏（左）

为周巢尘研究员颁发“CCF终身成就奖”

王巨宏女士在颁奖致辞中表达了对老一辈科学家的崇高敬意，她提到：“今天数据库、人工智能、软件工程、云计算领域的技术发展、行业繁荣都离不开老一辈科技工作者的基础性、开创性研究工作。” 同时，王巨宏女士也回顾了2018年与CCF携手在推动计算机基础研究传承的一些新举措，她分享到：“2018年CCF和腾讯共同启动了‘计算机经典传承系列’ 学术报告会，邀请著名学者与大家一起重温经典，追本溯源，回顾计算机经典理论、算法的起源，以启发我们探索更好、更新的算法及其应用。19年，学会也将邀请到终身成就奖的前辈科学家、杰出学者，通过口述历史等方式来以‘经典人物传承经典技术’。腾讯作为 ‘终身成就奖’、‘计算机经典传承系列’ 学术活动的战略合作伙伴，将尽我们所能，为传承基础科学经典、营造学术氛围、培养青年人才作出应有的贡献。”

CCF副理事长、腾讯公司副总裁王巨宏女士发言

在支持青年学者成长发展方面，腾讯与CCF一直携手深耕为青年学者搭建一个开放、共赢的平台。自2013年CCF与腾讯携手播种下“CCF-腾讯犀牛鸟基金”这棵面向青年学者的梦想种子，各方参与者为这棵年轻的种子，不断耕耘，悉心浇灌，携手成长。在刚刚结束的2018年一起为这棵已经绽放出花朵的种子庆祝了五岁生日，共同见证了基金的成长。未来，欢迎更多的青年学者加入到犀牛鸟基金项目中，携手推进科技创新，共建绿色教育生态圈。

2018年度CCF终身成就奖获奖者

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

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

END