周巢尘,1937年生,江苏南汇人。我国计算机软件专家,在软件形式化理论方面做出了系统的、创造性的工作。在本片中周巢尘老师为我们讲述了攻克时段演算难题的经历和感受。 “难以计算的贡献”系列片已完整收录在CCF数字图书馆中,欢迎通过下方二维码观看全部...
周巢尘，1937年11月出生于上海，1958年毕业于北京大学数学力学系，1967年研究生毕业于中国科学院计算技术研究所。1985年起，周巢尘担任博士生导师，并于1986年6月起成为中国科学院软件研究所研究员。1988年10月，他荣获“国家级有突出贡献的中青年专家”称号。1993年，当选中国科学院院士，2000年，同时当选...
1937年11月生于上海，1958年毕业于北京大学数学力学系，1967年研究生毕业于中国科学院计算技术研究所。1985年任博士生导师，1986年6月起任中国科学院软件研究所研究员，1988年10月被授予“国家级有突出贡献的中青年专家”称号。1993年当选中国科学院院士，2000年当选第三世界科学院院士。1992年8月至1997...
“周巢尘”的解释如下: 周 拼音zhōu 五行金 部首口 繁体周 简体笔画8 繁体笔画8 康熙笔画8 结构上三包围结构 笔画笔顺字源字典成语词典古文字典说文解字书法演变开头成语结尾成语 周zhōu 圈子,环绕:～围。～天。～转(zhuǎn)。～匝(a.环绕;b.周到)。◎ 普遍、全面:～身。～延。～全。～游。◎ 时期的...
CCF副理事长、腾讯公司副总裁王巨宏女士代表腾讯与CCF名誉理事长李国杰院士共同为中国人民解放军军事科学院系统工程研究院系统总体研究所研究员、中国工程院院士何新贵和中国科学院软件研究所研究员、中国科学院院士周巢尘颁发2018“CCF终身成就奖”。CCF终身成就奖设立于2010年,授予在计算机科学、技术和工程领域取得卓越成就、...
《形式语义学引论 周巢尘,詹乃军.》,作者:形式语义学引论 周巢尘,詹乃军.周巢尘 著,出版社:科学出版社,ISBN:9787030533838。
还激发了更多对程序验证和代数符号计算融合应用的兴趣。他的研究和建议对于推动软件工程领域的进步和解决实际问题具有重要意义。综上所述，周巢尘院士通过其深入浅出的报告，不仅介绍了程序验证的理论与实践，还探讨了其与代数符号计算的融合应用，为解决软件开发中的老问题提供了新思路。
周巢尘院士在计算机科学理论研究领域作出了杰出贡献，特别是在软件形式化理论方面取得了国际水平的研究成果。他发表的多篇论文和论著展示了他在程序设计理论，尤其是分布式程序设计理论和实时系统设计理论的研究深度。其在分布式程序设计理论方面的研究成果荣获1987年度国家自然科学奖二等奖，推动了实时系统形式化...
《形式语义学引论 周巢尘,詹乃军 科学出版社,【正版现货】》,作者:形式语义学引论 周巢尘,詹乃军 科学出版社,【正版现货】周巢尘 著,出版社:科学出版社,ISBN:9787030533838。