1月19日，以“責任？創新？奉獻”為主題的2018中國計算機學會（CCF）頒獎大會在北京隆重舉行。中國科學院軟件研究所研究員、中國科學院院士周巢塵被CCF獎勵委員會授予2018年度“ CCF終身成就獎”。中國人民解放軍軍事科學院研究員、中國工程院院士何新貴同獲此榮譽。 

　　2018年CCF終身成就獎獲獎者周巢塵研究員與頒獎嘉賓合影 

　　周巢塵研究員是國際著名計算機理論專家，我國分布式程序設計理論研究的先驅者和開拓者之一，第三世界科學院院士。長期從事分布式計算、理論計算機科學等方面研究。 

　　周巢塵研究員在發表獲獎感言時說：“非常感謝計算領域的同仁頒發的這個大獎——終生成就獎，這是對我幾十年來工作的肯定。這類工作是非常枯燥無味的，要在基礎理論方面有所得是不易的，突破更是困難的。”他介紹了分布式計算系統的引進和時段演算兩部分研究工作，并強調現在國家再次重提了基礎理論。“我認為是時候在基礎理論方面加強重視程度了。提高單篇論文的水平，才能使我國的總體水平趕上國際標準。希望年青一代有更多的人能從事這項工作，更要具有不怕吃苦、不怕艱難的精神，才能使基礎理論方面盡快地趕上國際水平。” 

　　周巢塵研究員發表獲獎感言 

　　1981年，他與英國科學家合作提出了分布式計算系統正確性的組合式驗證方法。1991年，他與英國及丹麥科學家合作建立了時段演算理論(Duration Calculus)，在國際上首次將連續數學概念（積分）引入計算機科學，并基于區間時序邏輯，建立了實時系統形式設計和驗證的邏輯方法，開創了實時系統形式設計的新途徑。后續引領國際二十多個國家的科學家參與這一方面的研究，使得時段演算理論和時間自動理論被認為是形式設計實時系統的兩個主流方法。 

　　為表彰計算機領域成績卓著和貢獻巨大的科技工作者，CCF于2010年設立“CCF終身成就獎”。該獎授予在計算機科學、技術和工程領域取得重大突破，成就卓越、貢獻巨大的資深中國計算機科技工作者。