周巢尘，1937年11月1日出生于上海，计算机软体专家，中国科学院院士、第三世界科学院院士，中国科学院软体研究所研究员、博士生导师。
1958年周巢尘毕业于北京大学数学力学系；1967年研究生毕业于中国科学院计算技术研究所；1985年被聘为博士生导师；1986年任中国科学院软体研究所研究员；1992年至1997年兼任联合国大学国际软体技术研究所首席研究员；1993年当选中国科学院院士；1997年至2002年兼任联合国大学国际软体技术研究所所长；2000年当选为第三世界科学院院士。
周巢尘长期从事计算机科学理论的研究，在软体形式化理论方面做出了系统的、创造性的工作，取得了具有国际先进水平的研究成果。
基本介绍
- 中文名：周巢尘
- 国籍：中国
- 出生地：上海
- 出生日期：1937年11月1日
- 职业：教育科研工作者
- 毕业院校：中国科学院计算技术研究所
- 主要成就：1993年当选中国科学院院士
2000年当选为第三世界科学院院士 - 原籍：江苏南汇
人物经历
1937年11月1日，周巢尘出生于上海，原籍江苏南汇。
1958年，毕业于北京大学数学力学系。
1967年，研究生毕业于中国科学院计算技术研究所。研究生期间，研读数理逻辑，师从胡世华院士。
1985年，被聘为博士生导师。
1986年6月，任中国科学院软体研究所研究员。
1992年8月，兼任联合国大学国际软体技术研究所首席研究员（至1997年7月）。
1993年，当选中国科学院院士。
1997年8月，兼任联合国大学国际软体技术研究所所长（至2002年8月）。
2000年，当选为第三世界科学院院士。
主要成就
科研成就
- 科研综述
周巢尘研究生期间，研读数理逻辑。20世纪60年代末转入信息处理系统，计算机作业系统及网路系统的研製。自20世纪70年代中期，致力于程式设计方法学的研究，特别是形式化方法的研究。形式化方法建立了软体工程的数学基础，倡导软体设计和开发的严格方法及工具，以期软体工程最终跻身于现代工程科学行列。形式化方法已逐渐被软体工业界所採用，特别是用于严格安全系统的研製。20世纪80年代，主要从事分散式系统的研究。20世纪90年代，从事实时系统研究。
- 学术论着
周巢尘在中国国内外有关学术刊物和会议上发表30余篇论文和论着。
- 学术交流
1981年周巢尘与英国同事合作提出了分散式计算系统正确性的组合式验证方法。1991年与英国及丹麦科学家合作建立了实时计算系统设计的一种新颖的逻辑方法。1992年以来，一直在联合国大学国际软体技术研究所工作，1997年起任该所所长。这个所是联合国在澳门设立的一个研究机构，致力于向开发中国家传授先进软体技术。自1992年以来，该所已培训了200多位来自30多个国家的研究生和年轻科学家及工程师，在第三世界建立了广泛联繫。该所的研究成果也获得国际公认，已成为国际知名的软体技术研究中心。
荣誉表彰
| 时间 | 荣誉表彰 |
|---|---|
1988年10月 | “国家级有突出贡献的中青年专家”称号 |
1993年 | 中国科学院院士 |
2000年 | 第三世界科学院院士 |
2019年1月 | 中国计算机学会终身成就奖 |
人物评价
周巢尘的研究领域是软体设计方法学，主要贡献是有关分散式计算系统和实时计算系统的设计方法。是中国分散式程式设计理论研究的先驱者和开拓者之一，学术造诣深厚，有多项创造性的成果。在程式设计理论，特别是“分散式程式设计理论”的研究方面有卓越成绩。
