周巢尘-计算机软件专家介绍

• 中文名 周巢尘
• 性别 男
• 国籍 中国
• 民族 汉族
• 出生地 上海市
• 出生日期 1937年11月01日
• 毕业院校 北京大学
• 主要成就 “国家级有突出贡献的中青年专家”、“中国计算机学会终身成就奖”

1958年，毕业于北京大学数学力学系。

1967年，从中国科学院计算技术研究所研究生毕业。

1985年，被聘为中国科学院计算技术研究所博士生导师。

1986年，担任中国科学院软件研究所研究员。

1992年 - 1997年，兼任联合国大学国际软件技术研究所首席研究员。

1997年 - 2002年，兼任联合国大学国际软件技术研究所所长。

20世纪80年代，主要从事分布式系统的研究。

20世纪80年代，与英国同事合作提出分布式计算系统正确性的组合式验证方法。

20世纪90年代，从事实时系统研究。

1988年10月，荣获“国家级有突出贡献的中青年专家”称号。

1993年，当选中国科学院院士。

2000年，当选为第三世界科学院院士。

2019年01月，荣获“中国计算机学会终身成就奖”。