周巢塵 - 人物簡介
1937年11月生于上海，1958年畢業(yè)于北京大學數(shù)學力學系，1967年研究生畢業(yè)于中國科學院計算技術研究所。1985年任博士生導師，1986年6月起任中國科學院軟件研究所研究員，1988年10月被授予“國家級有突出貢獻的中青年專家”稱號。1993年當選中國科學院院士，2000年當選第三世界科學院院士。1992年8月至1997年7月兼任聯(lián)合國大學國際軟件技術研究所首席研究員，1997年8月至2002年8月兼任該所所長。
周巢塵院士，我國分布式程序設計理論研究的先驅者和開拓者之一，近年提出的時段演算，為實時系統(tǒng)的形式化設計和驗證做出了開創(chuàng)性的工作，得到國際同行的公認，已經帶動了國際上十幾個國家的科學家參與這一方面的研究。1997年8月至2002年9月間任聯(lián)合國大學國際軟件技術研究所所長。
2000年當選為第三世界科學院院士，計算機專家。現(xiàn)任中國科學院軟件研究所研究員、聯(lián)合國大學國際軟件技術研究所所長、中國科學院院士。其研究領域是軟件設計方法學，主要貢獻是有關分布式計算系統(tǒng)和實時計算系統(tǒng)的設計方法。1981年與英國同事合作提出了分布式計算系統(tǒng)正確性的組合式驗證方法。1991年與英國及丹麥科學家合作建立了實時計算系統(tǒng)設計的一種新穎的邏輯方法。1992年以來，一直在聯(lián)合國大學國際軟件技術研究所工作，1997年起任該所所長。這個所是聯(lián)合國在澳門設立的一個研究機構，致力于向發(fā)展中國家傳授先進軟件技術。自1992年以來，該所已培訓了200多位來自30多個國家的研究生和年輕科學家及工程師，在第三世界建立了廣泛聯(lián)系。該所的研究成果也獲得國際公認，已成為國際知名的軟件技術研究中心。1958年畢業(yè)于北京大學數(shù)學力學系。
1967年研究生畢業(yè)于中國科學院計算技術研究所。中國科學院軟件研究所研究員，聯(lián)合國大學國際軟件技術研究所所長。研究生期間，研讀數(shù)理邏輯，師從胡世華院士。
60年代末轉入信息處理系統(tǒng)，計算機操作系統(tǒng)及網絡系統(tǒng)的研制。自70年代中期，致力于程序設計方法學的研究，特別是形式化方法的研究。形式化方法建立了軟件工程的數(shù)學基礎，倡導軟件設計和開發(fā)的嚴格方法及工具，以期軟件工程最終躋身于現(xiàn)代工程科學行列。形式化方法已逐漸被軟件工業(yè)界所采用，特別是用于嚴格安全系統(tǒng)的研制。80年代，主要從事分布式系統(tǒng)的研究。
周巢塵 - 科學研究
他長期從事計算機科學理論方面的研究，在軟件形式化理論方面取得了具有國際水平的研究成果，在國內外有關學術刊物和會議上發(fā)表30余篇論文和論著。他主要從事程序設計理論，特別是分布式程序設計理論和實時系統(tǒng)設計理論的研究。他在分布式程序設計理論方面的研究成果獲1987年度國家自然科學獎二等獎。近年提出的時段演算，為實時系統(tǒng)的形式化設計和驗證做出了開創(chuàng)性的工作，得到國際同行的公認，已經帶動了國際上二十幾個國家的科學家參與這一方面的研究。
周巢塵院士長期從事計算機科學理論的研究，在軟件形式化理論方面做出了系統(tǒng)的、創(chuàng)造性的工作，取得了具有國際先進水平的研究成果，是我國分布式程序設計理論研究的先驅者和開拓者之一；陸汝鈐院士則在知識工程和基于知識的軟件工程方面作了系統(tǒng)的、創(chuàng)造性的工作，也是我國該領域研究的開拓者。兩位院士和周龍驤研究員一起分析了目前國內外軟件產業(yè)發(fā)展的情況，結合聯(lián)信永益的軟件業(yè)務發(fā)展實際，認為聯(lián)信永益投身于軟件規(guī)�；_發(fā)并努力躋身于歐美軟件外包產業(yè)，是選擇了一個非常好的時機，希望聯(lián)信永益能以自己的身體力行，探索出一條中國軟件業(yè)的強大之路，并在政府有關部門和科研院所的支持與幫助下，逐漸成為中國民營軟件企業(yè)中從事歐美軟件外包業(yè)務的佼佼者。周巢塵 - 學術成就
長期從事計算機科學理論的研究，在軟件形式化理論方面做出了系統(tǒng)的、創(chuàng)造性的工作，取得了具有國際先進水平的研究成果。是我國分布式程序設計理論研究的先驅者和開拓者之一，學術造詣深厚，有多項創(chuàng)造性的成果。在程序設計理論，特別是“分布式程序設計理論”的研究方面有卓越成績，獲1987年國家自然科學二等獎。近年來致力于時段演算(DurationCalculus)的研究，取得了豐富的成果，已經成為實時系統(tǒng)形式化領域中國際公認的新途徑。周巢塵 - 人物評價
計算機軟件專家，中國科學院院士、第三世界科學院院士、聯(lián)合國大學國際軟件技術研究所前任所長、中國科學院軟件研究所研究員、中國科學院成都計算所兼職研究員周巢塵院士，在“科學與中國”、四川青年創(chuàng)新論壇上作了題為“程序驗證——解決老問題的新方略”的報告。他在報告中簡單介紹程序斷言(Assertion)的概念,斷言方法在工業(yè)界的應用以及國際上的驗證編譯器(VerifyingCompiler)計劃，并對程序驗證和代數(shù)符號計算關系做了介紹,建議把我國的代數(shù)符號計算方面的杰出成就應用于程序驗證的研究
周巢塵 - 相關詞條
| 梁思禮 | 匡定波 | 李衍達 | 雷嘯霖 | 林尊琪 |
| 干福熹 | 黃宏嘉 | 李啟虎 | 陸汝鈐 | 劉盛綱 |
| 郭雷 | 黃民強 | 李未 | 侯洵 | 劉永坦 |
| 郭光燦 | 黃琳 | 簡水生 | 李志堅 | 劉頌豪 |
| 高慶獅 | 何積豐 | 侯朝煥 | 林惠民 | 闕端麟 |
周巢塵 - 參考資料
1、http://www.iscas.ac.cn/viewArticle.action?articleId=123
