周巢尘，1937年11月出生于上海，1958年毕业于北京大学数学力学系，1967年研究生毕业于中国科学院计算技术研究所。1985年起，周巢尘担任博士生导师，并于1986年6月起成为中国科学院软件研究所研究员。1988年10月，他荣获“国家级有突出贡献的中青年专家”称号。1993年，当选中国科学院院士，2000年，同时当选...
“周巢尘”的解释如下: 周 拼音zhōu 五行金 部首口 繁体周 简体笔画8 繁体笔画8 康熙笔画8 结构上三包围结构 笔画笔顺字源字典成语词典古文字典说文解字书法演变开头成语结尾成语 周zhōu 圈子,环绕:～围。～天。～转(zhuǎn)。～匝(a.环绕;b.周到)。◎ 普遍、全面:～身。～延。～全。～游。◎ 时期的...
周巢尘，中国科学院院士、计算机软件专家。在60年代末，他转向了信息处理系统、计算机操作系统及网络系统的研发。自70年代中期，他致力于程序设计方法学的研究，特别着重于形式化方法。形式化方法奠定了软件工程的数学基础，他倡导了软件设计与开发的严格方法及工具，希冀软件工程最终能成为现代工程科学的一部分。
当当网作者频道汇集周巢尘作品大全,在线销售、阅读、点评周巢尘作品,查看周巢尘简介,购买正版周巢尘作品集,尽在DangDang.COM
周巢尘,1937年生,江苏南汇人。我国计算机软件专家,在软件形式化理论方面做出了系统的、创造性的工作。在本片中周巢尘老师为我们讲述了攻克时段演算难题的经历和感受。 “难以计算的贡献”系列片已完整收录在CCF数字图书馆中,欢迎通过下方二维码观看全部...
1937年11月生于上海，1958年毕业于北京大学数学力学系，1967年研究生毕业于中国科学院计算技术研究所。1985年任博士生导师，1986年6月起任中国科学院软件研究所研究员，1988年10月被授予“国家级有突出贡献的中青年专家”称号。1993年当选中国科学院院士，2000年当选第三世界科学院院士。1992年8月至1997...
姓名: 周巢尘 长期从事计算机科学理论的研究,在软件形式化理论方面做出了系统的、创造性的工作,取得了具有国际先进水平的研究成果。是我国分布式程序设计理论研究的先驱者和开拓者之一,学术造诣深厚,有多项创造性的成果。在程序设计理论,特别是“分布式程序设计理论”的研究方面有卓越成绩,获1987年国家自然科学二等奖。近...
还激发了更多对程序验证和代数符号计算融合应用的兴趣。他的研究和建议对于推动软件工程领域的进步和解决实际问题具有重要意义。综上所述，周巢尘院士通过其深入浅出的报告，不仅介绍了程序验证的理论与实践，还探讨了其与代数符号计算的融合应用，为解决软件开发中的老问题提供了新思路。
周巢尘中国科学院院士信息科学技术学院名誉院长中国科学院软件研究所 周巢尘院士1958年毕业于北京大学数学系,1967年研究生毕业并就职于中科院计算所。1988年被授予国家级有突出贡献的中青年专家称号,于1993年当选为中国科学院院士,2000年当选第三世界科学院院士,1997年8月-2002年9月,担任联合国大学国际软件技术研究所所长...
会上一共颁出 8 个奖项,其中「CCF 终身成就奖」由来自中国人民解放军军事科学院的何新贵研究员和来自中国科学院的周巢尘研究员共同获得。 颁奖会以「责任•创新•奉献」为主题,颁发了 2018 年度 CCF 终身成就奖、CCF 夏培肃奖、CCF 杰出贡献奖、CCF 卓越服务奖、CCF 杰出教育奖、CCF 计算机企业家奖、CCF ...