周巢塵

計算機軟件專家。原籍江蘇南匯，1937年11月1日生於上海。1958年畢業於北京大學數學力學系。1967年研究生畢業於中國科學院計算技術研究所。中國科學院軟件研究所研究員，聯合國大學國際軟件技術研究所所長。2000年當選為第三世界科學院院士。1993年當選中國科學院院士（學部委員）。 　　研究生期間，研讀數理邏輯，師從胡世華院士。60年代末轉入信息處理系統，計算機操作系統及網絡系統的研製。自70年代中期，致力於程序設計方法學的研究，特別是形式化方法的研究。形式化方法建立了軟件工程的數學基礎，倡導軟件設計和開發的嚴格方法及工具，以期軟件工程最終躋身於現代工程科學行列。形式化方法已逐漸被軟件工業界所採用，特別是用於嚴格安全系統的研製。80年代，主要從事分布式系統的研究。90年代，從事實時系統研究。