周巢尘,1937年生,江苏南汇人。我国计算机软件专家,在软件形式化理论方面做出了系统的、创造性的工作。在本片中周巢尘老师为我们讲述了攻克时段演算难题的经历和感受。 “难以计算的贡献”系列片已完整收录在CCF数字图书馆中,欢迎通过下方二维码观看全部...
周巢尘在计算机科学领域深耕多年,特别在软件形式化理论方面,贡献巨大,研究系统且富有创新性,达到了国际先进水平。他是我国分布式程序设计理论研究领域的先驱之一,学术造诣深邃,拥有诸多开创性的成果。在程序设计理论领域,尤其是“分布式程序设计理论”,周巢尘有着卓越的研究成果,他的工作在1987年获得了国...
周巢尘,1937年11月出生于上海,1958年毕业于北京大学数学力学系,1967年研究生毕业于中国科学院计算技术研究所。1985年起,周巢尘担任博士生导师,并于1986年6月起成为中国科学院软件研究所研究员。1988年10月,他荣获“国家级有突出贡献的中青年专家”称号。1993年,当选中国科学院院士,2000年,同时当选...
周巢尘院士在计算机科学理论研究领域作出了杰出贡献,特别是在软件形式化理论方面取得了国际水平的研究成果。他发表的多篇论文和论著展示了他在程序设计理论,尤其是分布式程序设计理论和实时系统设计理论的研究深度。其在分布式程序设计理论方面的研究成果荣获1987年度国家自然科学奖二等奖,推动了实时系统形式化...
周巢尘,中国科学院院士、计算机软件专家。在60年代末,他转向了信息处理系统、计算机操作系统及网络系统的研发。自70年代中期,他致力于程序设计方法学的研究,特别着重于形式化方法。形式化方法奠定了软件工程的数学基础,他倡导了软件设计与开发的严格方法及工具,希冀软件工程最终能成为现代工程科学的一部分...
毕业于北京大学数学力学系 周巢尘,中科院院士、计算机软件专家。原籍江苏南汇,生于上海。1958年毕业于北京大学数学力学系。1967年研究生毕业于中国科学院计算技术研究所。中国科学院软件研究所研究员,联合国大学国际软件技术研究所所长。研究生期间,研读数理逻辑,师从胡世华院士。
1937年11月生于上海,1958年毕业于北京大学数学力学系,1967年研究生毕业于中国科学院计算技术研究所。1985年任博士生导师,1986年6月起任中国科学院软件研究所研究员,1988年10月被授予“国家级有突出贡献的中青年专家”称号。1993年当选中国科学院院士,2000年当选第三世界科学院院士。1992年8月至1997...
计算机软件专家,中国科学院院士、第三世界科学院院士、联合国大学国际软件技术研究所前任所长、中国科学院软件研究所研究员、中国科学院成都计算所兼职研究员周巢尘院士,在“科学与中国”、四川青年创新论坛上作了题为“程序验证——解决老问题的新方略”的报告。他在报告中简单介绍程序断言(Assertion)的概念...
周巢尘院士长期从事计算机科学理论的研究,在软件形式化理论方面做出了系统的、创造性的工作,取得了具有国际先进水平的研究成果,是我国分布式程序设计理论研究的先驱者和开拓者之一;陆汝钤院士则在知识工程和基于知识的软件工程方面作了系统的、创造性的工作,也是我国该领域研究的开拓者。两位院士和周龙骧研究...