周巢尘科研成就科研综述周巢尘研究生期间，研读数理逻辑
20世纪60年代末转入信息处理系统，计算机操作系统及网络系统的研制
自20世纪70年代中期，致力于程序设计方法学的研究，特别是形式化方法的研究
形式化方法建立了软件工程的数学基础，倡导软件设计和开发的严格方法及工具，以期软件工程最终跻身于现代工程科学行列
形式化方法已逐渐被软件工业界所采用，特别是用于严格安全系统的研制
20世纪80年代，主要从事分布式系统的研究
1981年周巢尘与英国同事合作提出了分布式计算系统正确性的组合式验证方法
20世纪90年代，从事实时系统研究
1991年与英国及丹麦科学家合作建立了实时计算系统设计的一种新颖的逻辑方法
学术交流1992年以来周巢尘一直在联合国大学国际软件技术研究所工作，1997年起任该所所长
该所是联合国在澳门设立的一个研究机构，致力于向发展中国家传授先进软件技术
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
