周巢塵 - 人物簡(jiǎn)介

1937年11月生于上海，1958年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，1967年研究生畢業(yè)于中國(guó)科學(xué)院計(jì)算技術(shù)研究所。1985年任博士生導(dǎo)師，1986年6月起任中國(guó)科學(xué)院軟件研究所研究員，1988年10月被授予“國(guó)家級(jí)有突出貢獻(xiàn)的中青年專家”稱號(hào)。1993年當(dāng)選中國(guó)科學(xué)院院士，2000年當(dāng)選第三世界科學(xué)院院士。1992年8月至1997年7月兼任聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所首席研究員，1997年8月至2002年8月兼任該所所長(zhǎng)。

周巢塵院士，我國(guó)分布式程序設(shè)計(jì)理論研究的先驅(qū)者和開(kāi)拓者之一，近年提出的時(shí)段演算，為實(shí)時(shí)系統(tǒng)的形式化設(shè)計(jì)和驗(yàn)證做出了開(kāi)創(chuàng)性的工作，得到國(guó)際同行的公認(rèn)，已經(jīng)帶動(dòng)了國(guó)際上十幾個(gè)國(guó)家的科學(xué)家參與這一方面的研究。1997年8月至2002年9月間任聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所所長(zhǎng)。

2000年當(dāng)選為第三世界科學(xué)院院士，計(jì)算機(jī)專家。現(xiàn)任中國(guó)科學(xué)院軟件研究所研究員、聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所所長(zhǎng)、中國(guó)科學(xué)院院士。其研究領(lǐng)域是軟件設(shè)計(jì)方法學(xué)，主要貢獻(xiàn)是有關(guān)分布式計(jì)算系統(tǒng)和實(shí)時(shí)計(jì)算系統(tǒng)的設(shè)計(jì)方法。1981年與英國(guó)同事合作提出了分布式計(jì)算系統(tǒng)正確性的組合式驗(yàn)證方法。1991年與英國(guó)及丹麥科學(xué)家合作建立了實(shí)時(shí)計(jì)算系統(tǒng)設(shè)計(jì)的一種新穎的邏輯方法。1992年以來(lái)，一直在聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所工作，1997年起任該所所長(zhǎng)。這個(gè)所是聯(lián)合國(guó)在澳門設(shè)立的一個(gè)研究機(jī)構(gòu)，致力于向發(fā)展中國(guó)家傳授先進(jìn)軟件技術(shù)。自1992年以來(lái)，該所已培訓(xùn)了200多位來(lái)自30多個(gè)國(guó)家的研究生和年輕科學(xué)家及工程師，在第三世界建立了廣泛聯(lián)系。該所的研究成果也獲得國(guó)際公認(rèn)，已成為國(guó)際知名的軟件技術(shù)研究中心。1958年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系。

1967年研究生畢業(yè)于中國(guó)科學(xué)院計(jì)算技術(shù)研究所。中國(guó)科學(xué)院軟件研究所研究員，聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所所長(zhǎng)。研究生期間，研讀數(shù)理邏輯，師從胡世華院士。

60年代末轉(zhuǎn)入信息處理系統(tǒng)，計(jì)算機(jī)操作系統(tǒng)及網(wǎng)絡(luò)系統(tǒng)的研制。自70年代中期，致力于程序設(shè)計(jì)方法學(xué)的研究，特別是形式化方法的研究。形式化方法建立了軟件工程的數(shù)學(xué)基礎(chǔ)，倡導(dǎo)軟件設(shè)計(jì)和開(kāi)發(fā)的嚴(yán)格方法及工具，以期軟件工程最終躋身于現(xiàn)代工程科學(xué)行列。形式化方法已逐漸被軟件工業(yè)界所采用，特別是用于嚴(yán)格安全系統(tǒng)的研制。80年代，主要從事分布式系統(tǒng)的研究。

周巢塵 - 科學(xué)研究

他長(zhǎng)期從事計(jì)算機(jī)科學(xué)理論方面的研究，在軟件形式化理論方面取得了具有國(guó)際水平的研究成果，在國(guó)內(nèi)外有關(guān)學(xué)術(shù)刊物和會(huì)議上發(fā)表30余篇論文和論著。他主要從事程序設(shè)計(jì)理論，特別是分布式程序設(shè)計(jì)理論和實(shí)時(shí)系統(tǒng)設(shè)計(jì)理論的研究。他在分布式程序設(shè)計(jì)理論方面的研究成果獲1987年度國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng)。近年提出的時(shí)段演算，為實(shí)時(shí)系統(tǒng)的形式化設(shè)計(jì)和驗(yàn)證做出了開(kāi)創(chuàng)性的工作，得到國(guó)際同行的公認(rèn)，已經(jīng)帶動(dòng)了國(guó)際上二十幾個(gè)國(guó)家的科學(xué)家參與這一方面的研究。

周巢塵院士長(zhǎng)期從事計(jì)算機(jī)科學(xué)理論的研究，在軟件形式化理論方面做出了系統(tǒng)的、創(chuàng)造性的工作，取得了具有國(guó)際先進(jìn)水平的研究成果，是我國(guó)分布式程序設(shè)計(jì)理論研究的先驅(qū)者和開(kāi)拓者之一；陸汝鈐院士則在知識(shí)工程和基于知識(shí)的軟件工程方面作了系統(tǒng)的、創(chuàng)造性的工作，也是我國(guó)該領(lǐng)域研究的開(kāi)拓者。兩位院士和周龍?bào)J研究員一起分析了目前國(guó)內(nèi)外軟件產(chǎn)業(yè)發(fā)展的情況，結(jié)合聯(lián)信永益的軟件業(yè)務(wù)發(fā)展實(shí)際，認(rèn)為聯(lián)信永益投身于軟件規(guī)�；�開(kāi)發(fā)并努力躋身于歐美軟件外包產(chǎn)業(yè)，是選擇了一個(gè)非常好的時(shí)機(jī)，希望聯(lián)信永益能以自己的身體力行，探索出一條中國(guó)軟件業(yè)的強(qiáng)大之路，并在政府有關(guān)部門和科研院所的支持與幫助下，逐漸成為中國(guó)民營(yíng)軟件企業(yè)中從事歐美軟件外包業(yè)務(wù)的佼佼者。

周巢塵 - 學(xué)術(shù)成就

長(zhǎng)期從事計(jì)算機(jī)科學(xué)理論的研究，在軟件形式化理論方面做出了系統(tǒng)的、創(chuàng)造性的工作，取得了具有國(guó)際先進(jìn)水平的研究成果。是我國(guó)分布式程序設(shè)計(jì)理論研究的先驅(qū)者和開(kāi)拓者之一，學(xué)術(shù)造詣深厚，有多項(xiàng)創(chuàng)造性的成果。在程序設(shè)計(jì)理論，特別是“分布式程序設(shè)計(jì)理論”的研究方面有卓越成績(jī)，獲1987年國(guó)家自然科學(xué)二等獎(jiǎng)。近年來(lái)致力于時(shí)段演算(DurationCalculus)的研究，取得了豐富的成果，已經(jīng)成為實(shí)時(shí)系統(tǒng)形式化領(lǐng)域中國(guó)際公認(rèn)的新途徑。

周巢塵 - 人物評(píng)價(jià)

計(jì)算機(jī)軟件專家，中國(guó)科學(xué)院院士、第三世界科學(xué)院院士、聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所前任所長(zhǎng)、中國(guó)科學(xué)院軟件研究所研究員、中國(guó)科學(xué)院成都計(jì)算所兼職研究員周巢塵院士，在“科學(xué)與中國(guó)”、四川青年創(chuàng)新論壇上作了題為“程序驗(yàn)證——解決老問(wèn)題的新方略”的報(bào)告。他在報(bào)告中簡(jiǎn)單介紹程序斷言(Assertion)的概念,斷言方法在工業(yè)界的應(yīng)用以及國(guó)際上的驗(yàn)證編譯器(VerifyingCompiler)計(jì)劃，并對(duì)程序驗(yàn)證和代數(shù)符號(hào)計(jì)算關(guān)系做了介紹,建議把我國(guó)的代數(shù)符號(hào)計(jì)算方面的杰出成就應(yīng)用于程序驗(yàn)證的研究

周巢塵 - 相關(guān)詞條

梁思禮	匡定波	李衍達(dá)	雷嘯霖	林尊琪
干福熹	黃宏嘉	李啟虎	陸汝鈐	劉盛綱
郭雷	黃民強(qiáng)	李未	侯洵	劉永坦
郭光燦	黃琳	簡(jiǎn)水生	李志堅(jiān)	劉頌豪
高慶獅	何積豐	侯朝煥	林惠民	闕端麟

周巢塵 - 參考資料

1、http://www.iscas.ac.cn/viewArticle.action?articleId=123