位置:首页 > 人物大全 > 周巢尘

周巢尘

所属地区:上海市浦东新区 发布时间:2023-12-24 20:36:54
周巢尘

周巢尘,

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

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

所属地区

浦东新区位于上海市东部,长江三角洲东缘。东濒长江口,南与闵行区、奉贤区接壤,西和北分别与徐汇、卢湾、黄浦、虹口、杨浦、宝山6区和崇明县隔江相望。面积为1210.41平方公里,人口268.60万。邮政编码200135。区人民政府驻世纪大道2001号。邮编:200135。行政区划代码:310115。区号:021。拼音:Pudong Xinqu。行政区划浦东新区辖13个街道、25个镇:潍坊新村街道、陆家嘴街道、周家渡街道、塘桥街道、上钢新村街道、南码头路街道、沪东新村街道、金杨新村街道、洋泾街道、浦兴路街道、东明路街道、花木街道、申港街道、川沙新镇、高桥镇、北蔡镇、合庆镇、唐镇、曹路镇、金桥镇、高行...上海市浦东新区

=∣更多人物∣=