科学家 周巢尘,1937年11月1日出生于上海,计算机软件专家,中国科学院院士、第三世界科学院院士,中国科学院软件研究所研究员、博士生导师 。 1958年周巢尘毕业于北京大学数学力学系 ;1967年从中国科学院计算技术研究所研究生毕业;1985年被聘为博士生导师;1986年任中国科学院软件研究所研究员;1992年至1997年兼任联合国...
周巢尘,1937年11月出生于上海,1958年毕业于北京大学数学力学系,1967年研究生毕业于中国科学院计算技术研究所。1985年起,周巢尘担任博士生导师,并于1986年6月起成为中国科学院软件研究所研究员。1988年10月,他荣获“国家级有突出贡献的中青年专家”称号。1993年,当选中国科学院院士,2000年,同时当选...
周巢尘,中国科学院院士、计算机软件专家。在60年代末,他转向了信息处理系统、计算机操作系统及网络系统的研发。自70年代中期,他致力于程序设计方法学的研究,特别着重于形式化方法。形式化方法奠定了软件工程的数学基础,他倡导了软件设计与开发的严格方法及工具,希冀软件工程最终能成为现代工程科学的一部分。
周巢尘在计算机科学领域深耕多年,特别在软件形式化理论方面,贡献巨大,研究系统且富有创新性,达到了国际先进水平。他是我国分布式程序设计理论研究领域的先驱之一,学术造诣深邃,拥有诸多开创性的成果。在程序设计理论领域,尤其是“分布式程序设计理论”,周巢尘有着卓越的研究成果,他的工作在1987年获得了...
他们寄希望于联信永益能够通过实践探索出一条中国软件业走向强大的道路,期望在政府及科研机构的支持下,联信永益能在民营软件企业中成为参与欧美软件外包业务的佼佼者。周巢尘院士和陆汝钤院士的学术贡献不仅为计算机科学理论研究提供了宝贵的财富,而且通过与联信永益的合作,他们为中国的软件产业注入了创新与发展...
周巢尘,1937年生,江苏南汇人。我国计算机软件专家,在软件形式化理论方面做出了系统的、创造性的工作。在本片中周巢尘老师为我们讲述了攻克时段演算难题的经历和感受。 “难以计算的贡献”系列片已完整收录在CCF数字图书馆中,欢迎通过下方二维码观看全部...
计算机软件专家,中国科学院院士、第三世界科学院院士、联合国大学国际软件技术研究所前任所长、中国科学院软件研究所研究员、中国科学院成都计算所兼职研究员周巢尘院士,在“科学与中国”、四川青年创新论坛上作了题为“程序验证——解决老问题的新方略”的报告。他在报告中简单介绍程序断言(Assertion)的概念...
1937年11月生于上海,1958年毕业于北京大学数学力学系,1967年研究生毕业于中国科学院计算技术研究所。1985年任博士生导师,1986年6月起任中国科学院软件研究所研究员,1988年10月被授予“国家级有突出贡献的中青年专家”称号。1993年当选中国科学院院士,2000年当选第三世界科学院院士。1992年8月至1997...
1月19日,2018中国计算机学会(CCF)颁奖大会在北京举行。为我国计算机事业发展做出卓越贡献的中国工程院院士、中国人民解放军军事科学院系统工程研究院系统总体研究所研究员何新贵和中国科学院院士、中国科学院软件研究所研究员周巢尘获得2018“CCF终身成就奖”。 据悉,何