周巢尘,
计算机软件专家。原籍江苏南汇,1937年11月1日生于上海。1958年毕业于北京大学数学力学系。1967年研究生毕业于中国科学院计算技术研究所。中国科学院软件研究所研究员,联合国大学国际软件技术研究所所长。2000年当选为第三世界科学院院士。1993年当选中国科学院院士(学部委员)。
研究生期间,研读数理逻辑,师从胡世华院士。60年代末转入信息处理系统,计算机操作系统及网络系统的研制。自70年代中期,致力于程序设计方法学的研究,特别是形式化方法的研究。形式化方法建立了软件工程的数学基础,倡导软件设计和开发的严格方法及工具,以期软件工程最终跻身于现代工程科学行列。形式化方法已逐渐被软件工业界所采用,特别是用于严格安全系统的研制。80年代,主要从事分布式系统的研究。90年代,从事实时系统研究。
相关院校:
北京大学
同年(公元1937年)出生的名人:陈创天 (1937~2018) 中国科学院院士 浙江省宁波奉化 陈达 (1937~2016) 中国科学院院士 江苏省南通通州 薛永祺 中国科学院院士 江苏省苏州张家港 王圩 中国科学院院士 河北省廊坊市文安 陈翰馥 中国科学院院士 浙江省绍兴 + 更多公元1937年出生的名人》
周姓名人堂周维安 河北省人 周文科 (1913~1947) 江苏省淮安淮阴人 周氏 周武 (?~1390) 河南省人 周先庚 (1903~1996) 中国实验及应用心理学的奠基人 安徽省滁州全椒人 周新民 (1897~1979) 安徽省合肥庐江县人 周惠 江苏省宿迁泗阳人 周忠魁 (1863~1966) 福建省宁德市福鼎人 中国科学院院士人物介绍茅以升 (1896~1989) 中国科学院院士,土木工程学家、桥梁专家、工程教育家 竺可桢 (1890~1974) 中国近代气象学家、地理学家 苏步青 (1902~2003) 中国科学院院士,中国著名的数学家、教育家,中国微分几何学派创始人 陈景润 (1933~1996) 哥德巴赫猜想第一人 梁思成 (1901~1972) 梁启超长子,中国著名建筑学家 李四光 (1889~1971) 中国科学院院士,著名地质学家 童第周 (1902~1979) 著名实验胚胎学家 梁思礼 (1924~2016) 梁启超第五子,中国科学院院士 北京大学人物介绍李大钊 (1889~1927) 中国共产主义运动的先驱 李克强 中华人民共和国国务院总理 茅盾 (1896~1981) 著名作家 余光中 (1928~2014) 沈从文 (1902~1988) 20世纪湖南十大文化名人 蔡元培 (1868~1940) 著名的思想家、教育家 朱自清 (1898~1948) 胡适 (1891~1962) 现代学者,历史学、文学家,哲学家
浦东更多人物
张绍文 (1906~1955) 钦连 陈歌辛 (1914~1961) 著名作曲家 唐有祺 中国科学院院士 苏局仙 (1883~1991) 林涵之 (1925~1974) 杨业治 (1908~2003) 连柏生 (1908~1992)