周巢塵-計算機軟件專家介紹

• 中文名 周巢塵
• 性別 男
• 國籍 中國
• 民族 漢族
• 出生地 上海市
• 出生日期 1937年11月01日
• 畢業院校 北京大學
• 主要成就 “國家級有突出貢獻的中青年專家”、“中國計算機學會終身成就獎”

1958年，畢業于北京大學數學力學系。

1967年，從中國科學院計算技術研究所研究生畢業。

1985年，被聘為中國科學院計算技術研究所博士生導師。

1986年，擔任中國科學院軟件研究所研究員。

1992年 - 1997年，兼任聯合國大學國際軟件技術研究所首席研究員。

1997年 - 2002年，兼任聯合國大學國際軟件技術研究所所長。

20世紀80年代，主要從事分布式系統的研究。

20世紀80年代，與英國同事合作提出分布式計算系統正確性的組合式驗證方法。

20世紀90年代，從事實時系統研究。

1988年10月，榮獲“國家級有突出貢獻的中青年專家”稱號。

1993年，當選中國科學院院士。

2000年，當選為第三世界科學院院士。

2019年01月，榮獲“中國計算機學會終身成就獎”。