周巢塵

周巢塵，1937年11月1日出生於上海，計算機軟體專家，中國科學院院士、第三世界科學院院士，中國科學院軟體研究所研究員、博士生導師。

1958年周巢塵畢業於北京大學數學力學系；1967年研究生畢業於中國科學院計算技術研究所；1985年被聘為博士生導師；1986年任中國科學院軟體研究所研究員；1992年至1997年兼任聯合國大學國際軟體技術研究所首席研究員；1993年當選中國科學院院士；1997年至2002年兼任聯合國大學國際軟體技術研究所所長；2000年當選為第三世界科學院院士。

周巢塵長期從事計算機科學理論的研究，在軟體形式化理論方面做出了系統的、創造性的工作，取得了具有國際先進水平的研究成果。

基本介紹

• 中文名：周巢塵
• 國籍：中國
• 出生地：上海
• 出生日期：1937年11月1日
• 職業：教育科研工作者
• 畢業院校：中國科學院計算技術研究所
• 主要成就：1993年當選中國科學院院士
  2000年當選為第三世界科學院院士
• 原籍：江蘇南匯

人物經歷

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

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

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

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

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

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

1993年，當選中國科學院院士。

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

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

主要成就

科研成就

• 科研綜述
  

周巢塵研究生期間，研讀數理邏輯。20世紀60年代末轉入信息處理系統，計算機作業系統及網路系統的研製。自20世紀70年代中期，致力於程式設計方法學的研究，特別是形式化方法的研究。形式化方法建立了軟體工程的數學基礎，倡導軟體設計和開發的嚴格方法及工具，以期軟體工程最終躋身於現代工程科學行列。形式化方法已逐漸被軟體工業界所採用，特別是用於嚴格安全系統的研製。20世紀80年代，主要從事分散式系統的研究。20世紀90年代，從事實時系統研究。

• 學術論著
  

周巢塵在中國國內外有關學術刊物和會議上發表30餘篇論文和論著。

• 學術交流
  

1981年周巢塵與英國同事合作提出了分散式計算系統正確性的組合式驗證方法。1991年與英國及丹麥科學家合作建立了實時計算系統設計的一種新穎的邏輯方法。1992年以來，一直在聯合國大學國際軟體技術研究所工作，1997年起任該所所長。這個所是聯合國在澳門設立的一個研究機構，致力於向開發中國家傳授先進軟體技術。自1992年以來，該所已培訓了200多位來自30多個國家的研究生和年輕科學家及工程師，在第三世界建立了廣泛聯繫。該所的研究成果也獲得國際公認，已成為國際知名的軟體技術研究中心。

榮譽表彰

時間	榮譽表彰
1988年10月	“國家級有突出貢獻的中青年專家”稱號
1993年	中國科學院院士
2000年	第三世界科學院院士
2019年1月	中國計算機學會終身成就獎

人物評價

周巢塵的研究領域是軟體設計方法學，主要貢獻是有關分散式計算系統和實時計算系統的設計方法。是中國分散式程式設計理論研究的先驅者和開拓者之一，學術造詣深厚，有多項創造性的成果。在程式設計理論，特別是“分散式程式設計理論”的研究方面有卓越成績。