周巢尘 -- 研究员、院士
 

100190 北京中关村南四街4号(北京8718信箱)
中国科学院软件研究所

职称:研究员、院士    
联系电话: 010-62661607    
E-Mail:zcc(AT)ios.ac.cn

  

  周巢尘,我国分布式程序设计理论研究的先驱者和开拓者之一。1937年11月生于上海,1958年毕业于北京大学数学力学系,1967年研究生毕业于中国科学院计算技术研究所。1985年任博士生导师,1986年6月起任中国科学院软件研究所研究员,1988年10月被授予“国家级有突出贡献的中青年专家”称号。1993年当选中国科学院院士,2000年当选第三世界科学院院士。1992年8月至1997年7月兼任联合国大学国际软件技术研究所首席研究员,1997年8月至2002年8月兼任该所所长。
他长期从事计算机科学理论方面的研究,在软件形式化理论方面取得了具有国际水平的研究成果,在国内外有关学术刊物和会议上发表30余篇论文和论著。他主要从事程序设计理论,特别是分布式程序设计理论和实时系统设计理论的研究。他在分布式程序设计理论方面的研究成果获1987年度国家自然科学奖二等奖。近年提出的时段演算,为实时系统的形式化设计和验证做出了开创性的工作,得到国际同行的公认,已经带动了国际上二十几个国家的科学家参与这一方面的研究。