周巢尘院士荣获中国计算机学会（CCF）终身成就奖

　　1月19日，以“责任？创新？奉献”为主题的2018中国计算机学会（CCF）颁奖大会在北京隆重举行。中国科学院软件研究所研究员、中国科学院院士周巢尘被CCF奖励委员会授予2018年度“ CCF终身成就奖”。中国人民解放军军事科学院研究员、中国工程院院士何新贵同获此荣誉。

　　2018年CCF终身成就奖获奖者周巢尘研究员与颁奖嘉宾合影

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

　　周巢尘研究员在发表获奖感言时说：“非常感谢计算领域的同仁颁发的这个大奖——终生成就奖，这是对我几十年来工作的肯定。这类工作是非常枯燥无味的，要在基础理论方面有所得是不易的，突破更是困难的。”他介绍了分布式计算系统的引进和时段演算两部分研究工作，并强调现在国家再次重提了基础理论。“我认为是时候在基础理论方面加强重视程度了。提高单篇论文的水平，才能使我国的总体水平赶上国际标准。希望年青一代有更多的人能从事这项工作，更要具有不怕吃苦、不怕艰难的精神，才能使基础理论方面尽快地赶上国际水平。”

　　周巢尘研究员发表获奖感言

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

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

转载自软件所网站：
http://www.iscas.ac.cn/xwdt2016/rdxw2016/201901/t20190121_5232028.html