周巢塵，中科院院士、計算機軟件專家。原籍江蘇南匯，生于上海市。1958年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系。1967年研究生畢業(yè)于中國科學(xué)院計算技術(shù)研究所。中國科學(xué)院軟件研究所研究員，聯(lián)合國大學(xué)國際軟件技術(shù)研究所所長。研究生期間，研讀數(shù)理邏輯，師從胡世華院士。
基本資料
周巢塵，中科院院士、計算機軟件專家。60年代末轉(zhuǎn)入信息處理系統(tǒng)，計算機操作系統(tǒng)及網(wǎng)絡(luò)系統(tǒng)的研制。自70年代中期，致力于程序設(shè)計方法學(xué)的研究，特別是形式化方法的研究。形式化方法建立了軟件工程的數(shù)學(xué)基礎(chǔ)，倡導(dǎo)軟件設(shè)計和開發(fā)的嚴(yán)格方法及工具，以期軟件工程最終身于現(xiàn)代工程科學(xué)行列。形式化方法已逐漸被軟件工業(yè)界所采用，特別是用于嚴(yán)格安全系統(tǒng)的研制。80年代，主要從事分布式系統(tǒng)的研究。90年代，從事RTOS系統(tǒng)研究。2000年當(dāng)選為第三世界科學(xué)院院士。1993年當(dāng)選中國科學(xué)院院士（學(xué)部委員）。
人物簡介
1937年11月生于上海市，1958年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，1967年研究生畢業(yè)于中國科學(xué)院計算技術(shù)研究所。1985年任博士生導(dǎo)師，1986年6月起任中國科學(xué)院軟件研究所研究員，1988年10月被授予“國家級有突出貢獻(xiàn)的中青年專家”稱號。1993年當(dāng)選中國科學(xué)院院士，2000年當(dāng)選第三世界科學(xué)院院士。1992年8月至1997年7月兼任聯(lián)合國大學(xué)國際軟件技術(shù)研究所首席研究員，1997年8月至2002年8月兼任該所所長。
2000年當(dāng)選為第三世界科學(xué)院院士，計算機專家。現(xiàn)任中國科學(xué)院軟件研究所研究員、聯(lián)合國大學(xué)國際軟件技術(shù)研究所所長、中國科學(xué)院院士。其研究領(lǐng)域是軟件設(shè)計方法學(xué)，主要貢獻(xiàn)是有關(guān)分布式計算系統(tǒng)和實時計算系統(tǒng)的設(shè)計方法。1981年與英國同事合作提出了分布式計算系統(tǒng)正確性的組合式驗證方法。1991年與英國及丹麥科學(xué)家合作建立了實時計算系統(tǒng)設(shè)計的一種新穎的邏輯方法。1992年以來，一直在聯(lián)合國大學(xué)國際軟件技術(shù)研究所工作，1997年起任該所所長。這個所是聯(lián)合國在澳門設(shè)立的一個研究機構(gòu)，致力于向發(fā)展中國家傳授先進(jìn)軟件技術(shù)。自1992年以來，該所已培訓(xùn)了200多位來自30多個國家的研究生和年輕科學(xué)家及工程師，在第三世界建立了廣泛聯(lián)系。該所的研究成果也獲得國際公認(rèn)，已成為國際知名的軟件技術(shù)研究中心。1958年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系。
1967年研究生畢業(yè)于中國科學(xué)院計算技術(shù)研究所。中國科學(xué)院軟件研究所研究員，聯(lián)合國大學(xué)國際軟件技術(shù)研究所所長。研究生期間，研讀數(shù)理邏輯，師從胡世華院士。
科學(xué)研究
他長期從事計算機科學(xué)理論方面的研究，在軟件形式化理論方面取得了具有國際水平的研究成果，在國內(nèi)外有關(guān)學(xué)術(shù)刊物和會議上發(fā)表30余篇論文和論著。他主要從事程序設(shè)計理論，特別是分布式程序設(shè)計理論和實時系統(tǒng)設(shè)計理論的研究。他在分布式程序設(shè)計理論方面的研究成果獲1987年度國家自然科學(xué)獎二等獎。而且提出的時段演算，為實時系統(tǒng)的形式化設(shè)計和驗證做出了開創(chuàng)性的工作，得到國際同行的公認(rèn)，已經(jīng)帶動了國際上二十幾個國家的科學(xué)家參與這一方面的研究。
周巢塵院士長期從事計算機科學(xué)理論的研究，在軟件形式化理論方面做出了系統(tǒng)的、創(chuàng)造性的工作，取得了具有國際先進(jìn)水平的研究成果，是我國分布式程序設(shè)計理論研究的先驅(qū)者和開拓者之一；陸汝鈐院士則在知識工程和基于知識的軟件工程方面作了系統(tǒng)的、創(chuàng)造性的工作，也是我國該領(lǐng)域研究的開拓者。兩位院士和周龍驤研究員一起分析了國內(nèi)外軟件產(chǎn)業(yè)發(fā)展的情況，結(jié)合聯(lián)信永益的軟件業(yè)務(wù)發(fā)展實際，認(rèn)為聯(lián)信永益投身于軟件規(guī)模化開發(fā)并努力躋身于歐美軟件外包產(chǎn)業(yè)，是選擇了一個非常好的時機，希望聯(lián)信永益能以自己的身體力行，探索出一條中國軟件業(yè)的強大之路，并在政府有關(guān)部門和科研院所的支持與幫助下，逐漸成為中國民營軟件企業(yè)中從事歐美軟件外包業(yè)務(wù)的佼佼者。
人才培養(yǎng)
丹麥講學(xué)
1996年10月，周巢塵在丹麥技術(shù)大學(xué)講學(xué)。
學(xué)術(shù)報告
2005年9月5日，周巢塵在“科學(xué)與中國”、四川省青年創(chuàng)新論壇上作了題為《程序驗證——解決老問題的新方略》的報告介紹了程序斷言的概念，斷言方法在工業(yè)界的應(yīng)用以及國際上的驗證編譯器計劃，并對程序驗證和代數(shù)符號計算關(guān)系做了介紹。
2011年6月，周巢塵在中國科學(xué)院深圳先進(jìn)技術(shù)研究院作了題為“Modeling and Verification of Hybrid Systems”的學(xué)術(shù)講座。他以中國高鐵交通控制系統(tǒng)、飛機避撞協(xié)議為例，深入闡釋了針對并行的離散與連續(xù)系統(tǒng)的安全性驗證。
2011年8月29日，周巢塵在長安大學(xué)作了題為《混成系統(tǒng)的建模與驗證》的學(xué)術(shù)報告，主要介紹了混成系統(tǒng)（嵌入式系統(tǒng)、信息物理融合系統(tǒng)）的建模語言HCSP（混成通信順序進(jìn)程）、導(dǎo)數(shù)不變式的生成算法和驗證邏輯HHL（混成霍爾邏輯）的基本思想。
社會職務(wù)
周巢塵兼任中國科學(xué)院軟件所學(xué)術(shù)委員會主任，中國科學(xué)院成都計算所兼職研究員，中國計算機學(xué)會會士等社會職務(wù)。
學(xué)術(shù)成就
長期從事計算機科學(xué)理論的研究，在軟件形式化理論方面做出了系統(tǒng)的、創(chuàng)造性的工作，取得了具有國際先進(jìn)水平的研究成果。是我國分布式程序設(shè)計理論研究的先驅(qū)者和開拓者之一，學(xué)術(shù)造詣深厚，有多項創(chuàng)造性的成果。在程序設(shè)計理論，特別是“分布式程序設(shè)計理論”的研究方面有卓越成績，獲1987年國家自然科學(xué)二等獎。而且致力于時段演算(DurationCalculus)的研究，取得了豐富的成果，已經(jīng)成為實時系統(tǒng)形式化領(lǐng)域中國際公認(rèn)的新途徑。
榮譽
人物評價
計算機軟件專家，中國科學(xué)院院士、發(fā)展中國家科學(xué)院院士院士、聯(lián)合國大學(xué)國際軟件技術(shù)研究所前任所長、中國科學(xué)院軟件研究所研究員、中國科學(xué)院成都計算所兼職研究員周巢塵院士，在“科學(xué)與中國”、四川省青年創(chuàng)新論壇上作了題為“程序驗證——解決老問題的新方略”的報告。他在報告中簡單介紹程序斷言(Assertion)的概念，斷言方法在工業(yè)界的應(yīng)用以及國際上的驗證編譯器(VerifyingCompiler)計劃，并對程序驗證和代數(shù)符號計算關(guān)系做了介紹，建議把我國的代數(shù)符號計算方面的杰出成就應(yīng)用于程序驗證的研究。
參考資料 >
周巢塵在丹麥技術(shù)大學(xué)講學(xué)(1996年10月).中國科學(xué)院院士文庫.2024-08-20
周巢塵院士為“科學(xué)與中國”—四川青年創(chuàng)新論壇作報告.中國科學(xué)院成都分院.2024-08-20
周巢塵院士在深圳先進(jìn)院作學(xué)術(shù)講座.中國科學(xué)院.2024-08-20
2011年8月29日, 周巢塵院士應(yīng)邀到長安大學(xué)訪問并作學(xué)術(shù)報告.中國科學(xué)院院士文庫.2024-08-20
中科院院士周巢塵、何積豐參觀我校省高性能計算技術(shù)重點實驗室.江西師范大學(xué).2024-08-20
周巢塵院士為“科學(xué)與中國”—四川青年創(chuàng)新論壇作報告.中國科學(xué)院成都分院.2024-08-20
會士.中國計算機學(xué)會.2024-08-20
周巢塵獲2018年CCF(中國計算機學(xué)會)終身成就獎 周巢塵.中國科學(xué)院院士文庫.2024-08-20
2002年2月，周巢塵在澳門接受何厚鏵(左)頒發(fā)的澳門科技發(fā)展突出貢獻(xiàn)獎.中國科學(xué)院院士文庫.2024-08-20
專家介紹 | 專題系列二:信息智能領(lǐng)域?qū)＜?/a>.微信公眾平臺.2024-08-20
周巢塵.中國科學(xué)院院士文庫.2024-08-20