周巢尘
周巢尘，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年代，主要从事分布式系统的研究。1981年周巢尘与英国同事合作提出了分布式计算系统正确性的组合式验证方法。20世纪90年代，从事实时系统研究。1991年与英国及丹麦科学家合作建立了实时计算系统设计的一种新颖的逻辑方法。
学术交流
1992年以来周巢尘一直在联合国大学国际软件技术研究所工作，1997年起任该所所长。该所是联合国在澳门设立的一个研究机构，致力于向发展中国家传授先进软件技术。
周巢尘人才培养
学术报告
2005年9月5日，周巢尘在“科学与中国”、四川青年创新论坛上作了题为《程序验证——解决老问题的新方略》的报告。
2011年8月29日，周巢尘在长安大学信息工程学院二楼会议室作题为《混成系统的建模与验证》的学术报告。
周巢尘荣誉表彰
社会任职
人物评价
周巢尘是国际著名计算机理论专家，中国分布式程序设计理论研究的先驱者和开拓者之一。（中国科学院评）
周巢尘提出的时段演算，为实时系统的形式化设计和验证做出了开创性的工作，得到国际同行的公认。（中国科学院软件研究所评）