您现在的位置: 首页 >  院士信息 >  院士名单与简介 >  信息技术科学部
院士信息

周巢尘

 

【字号:    
周巢尘

  计算机软件专家。原籍江苏南汇,1937年11月1日生于上海。1958年毕业于北京大学数学力学系。1967年研究生毕业于中国科学院计算技术研究所。中国科学院软件研究所研究员,联合国大学国际软件技术研究所所长。2000年当选为第三世界科学院院士。1993年当选中国科学院院士(学部委员)。

  研究生期间,研读数理逻辑,师从胡世华院士。60年代末转入信息处理系统,计算机操作系统及网络系统的研制。自70年代中期,致力于程序设计方法学的研究,特别是形式化方法的研究。形式化方法建立了软件工程的数学基础,倡导软件设计和开发的严格方法及工具,以期软件工程最终跻身于现代工程科学行列。形式化方法已逐渐被软件工业界所采用,特别是用于严格安全系统的研制。80年代,主要从事分布式系统的研究。90年代,从事实时系统研究。

导航
首页
学部介绍
院士信息
院士大会
院士增选
智库建设
出版物
学部工作局
动态
学部动态
媒体报道
咨询评议
学术交流
科普活动
院士动态
专题
2017中科院院士增选
陈嘉庚科学奖
科学与中国
学术引领
科学人生·百年
院士文库
缅怀院士
中科院第十八次院士大会
纪念学部成立60周年
院士口述故事
工具栏
院士邮箱系统
院士增选系统
学部咨询项目管理系统
学部学科项目管理系统
院士退休信息报备系统