周巢塵教授

周巢塵教授
周巢塵教授,電腦軟件專家,主要研究電腦科學理論,中國分佈式程式設計理論研究的先驅者和開拓者之一。原為聯合國大學國際軟件技術研究所所長、中國科學院軟件研究所研究員,現任中國科學院院士、第三世界科學院院士。
1967年,周教授畢業於中國科學院計算技術研究所;1986年,任中國科學院軟件研究所研究員;1993年,當選中國科學院院士;2000年,當選第三世界科學院院士;1992-2002年,先後擔任聯合國大學國際軟件技術研究所首席研究員、所長。
周教授先後對數理邏輯、信息處理系統、電腦操作系統及網絡系統、程式設計方法學(特別是形式化方法研究)等深有研究,主要貢獻在於分佈式計算系統和實時計算系統的設計方法。曾在國內外專業學術期刊和會議上,發表30多篇論文。1981年,與英國學者合作提出分佈式計算系統正確性的組合式驗證方法。1991年,與英國及丹麥科學家合作建立全新的實時計算系統設計的邏輯方法。
由於在分佈式程序設計理論的研究成果卓著,周教授於1987年獲頒“國家自然科學獎二等獎”。1988年,被授予“國家級有突出貢獻的中青年專家”稱號。近年提出的時段演算,為實時系統的形式化設計和驗證作出了備受國際公認的開創性貢獻。