周巢尘简介

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

周巢尘是国际著名计算机理论专家，中国分布式程序设计理论研究的先驱者和开拓者之一。（中国科学院评）

周巢尘提出的时段演算，为实时系统的形式化设计和验证做出了开创性的工作，得到国际同行的公认。（中国科学院软件研究所评）