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

CCF獎勵委員會決定授予中國人民解放軍軍事科學院系統工程研究院系統總體研究所何新貴研究員和中國科學院軟體研究所周巢塵研究員2018「CCF終身成就獎」，以表彰他們為中國計算機事業的發展做出的卓越貢獻。

特此公告。

中國計算機學會

2019年1月2日

附

何新貴 研究員 CCF會士，中國工程院院士

獲獎理由：

何新貴研究員是我國首批計算機軟體工作者之一，長期從事計算機軟體、人工智慧的理論研究和工程實踐，參加並主持了我國多項軍用軟體的研製工作。

70年代初，他在國產計算機上成功研製出多個FORTRAN編譯系統，是我國第一批自主開發並向全國推廣的編譯程序系統，有效促使我國軍用數值計算擺脫落後的編程狀態，促使我國工程領域全面採用高級程序設計語言。他提出的模糊數庫、加權模糊邏輯、模糊分佈值邏輯、可執行模糊語義網路、模糊H網、主動模糊網路、模糊推理網路、加權神經元網路以及過程神經元網路等理論與技術對邊緣科學、「知識處理學」的建立和發展起了較大作用。他在編譯、資料庫、模糊邏輯、最優化處理和軍用軟體等領域做出了突出貢獻，促進了我國資料庫、人工智慧和軟體工程技術發展和應用。

鑒於何新貴研究員為中國計算機事業的發展做出的卓越貢獻，CCF獎勵委員會決定將2018年「CCF終身成就獎」授予他，以表彰他的成就和貢獻。

周巢塵 研究員 CCF會士，中國科學院院士

獲獎理由：

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

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

鑒於周巢塵研究員為中國計算機事業的發展做出的卓越貢獻，CCF獎勵委員會決定將2018年「CCF終身成就獎」授予他，以表彰他的成就和貢獻。

推薦閱讀：

相關文章