周巢塵

周巢塵(3張)

1937年11月1日，周巢塵出生於上海，原籍江蘇南匯。

1958年，畢業於北京大學數學力學系。

1967年，研究生畢業於中國科學院計算技術研究所。研究生期間，研讀數理邏輯，師從數理邏輯學家、計算機科學家胡世華教授。

1985年，被聘為博士生導師。

1986年6月，任中國科學院軟件研究所研究員。

1992年8月至1997年7月，兼任聯合國大學國際軟件技術研究所首席研究員。

1993年，當選中國科學院院士 ^[4]  。

1997年8月至2002年8月，兼任聯合國大學國際軟件技術研究所所長。

2000年，當選為第三世界科學院院士。

周巢塵研究生期間，研讀數理邏輯。20世紀60年代末轉入信息處理系統，計算機操作系統及網絡系統的研製。自20世紀70年代中期，致力於程序設計方法學的研究，特別是形式化方法的研究。形式化方法建立了軟件工程的數學基礎，倡導軟件設計和開發的嚴格方法及工具，以期軟件工程最終躋身於現代工程科學行列。形式化方法已逐漸被軟件工業界所採用，特別是用於嚴格安全系統的研製。20世紀80年代，主要從事分佈式系統的研究。1981年周巢塵與英國同事合作提出了分佈式計算系統正確性的組合式驗證方法。20世紀90年代，從事實時系統研究。1991年與英國及丹麥科學家合作建立了實時計算系統設計的一種新穎的邏輯方法 ^[4]  。

1992年以來周巢塵一直在聯合國大學國際軟件技術研究所工作，1997年起任該所所長。該所是聯合國在澳門設立的一個研究機構，致力於向發展中國家傳授先進軟件技術 ^[5]  。

2005年9月5日，周巢塵在“科學與中國”、四川青年創新論壇上作了題為《程序驗證——解決老問題的新方略》的報告 ^[6]  。

2011年8月29日，周巢塵在長安大學信息工程學院二樓會議室作題為《混成系統的建模與驗證》的學術報告 ^[3]  。

周巢塵是國際著名計算機理論專家，中國分佈式程序設計理論研究的先驅者和開拓者之一 ^[7]  。（中國科學院評）

周巢塵提出的時段演算，為實時系統的形式化設計和驗證做出了開創性的工作，得到國際同行的公認 ^[1]  。（中國科學院軟件研究所評）