周巢尘

原籍江苏南汇，1937年11月1日生于上海。
1958年毕业于北京大学数学力学系。
1967年研究生毕业于中国科学院计算技术研究所。
中国科学院软件研究所研究员，联合国大学国际软件技术研究所所长。
2000年当选为第三世界科学院院士。
1993年当选中国科学院院士（学部委员）。
研究生期间，研读数理逻辑，师从胡世华院士。
60年代末转入信息处理系统，计算机操作系统及网络系统的研制。
自70年代中期，致力于程序设计方法学的研究，特别是形式化方法的研究。
形式化方法建立了软件工程的数学基础，倡导软件设计和开发的严格方法及工具，以期软件工程最终跻身于现代工程科学行列。
形式化方法已逐渐被软件工业界所采用，特别是用于严格安全系统的研制。
80年代，主要从事分布式系统的研究。
90年代，从事实时系统研究。