周巢尘：摘取时段演算的桂冠 | “难以计算的贡献” 访谈

 “难以计算的贡献” 系列片是根据CCF“记录计算机历史”采集的专家访谈制作而成，每期请一位专家讲述一个中国计算机发展史中值得记忆的故事。从2019年至2022年，CCF“记录计算机历史”项目已访谈80位为我国计算机事业发展作出突出贡献的老科技工作者，通过口述访谈、录音录像、实物采集等方式记录前辈们的辉煌历程和卓越贡献。“难以计算的贡献”系列片记录了这些老科技工作者讲述的人生经历和不朽传奇，让大家对中国计算机的历史有更深刻的了解，不忘来路，铭记前人开拓精神。 

2023春节期间CCF公众号每天发布访谈视频，欢迎观看。

周巢尘：摘取时段演算的桂冠

人物简介

周巢尘，1937年生，江苏南汇人。我国计算机软件专家，在软件形式化理论方面做出了系统的、创造性的工作。在本片中周巢尘老师为我们讲述了攻克时段演算难题的经历和感受。

“难以计算的贡献”系列片已完整收录在CCF数字图书馆中，欢迎通过下方二维码观看全部视频。

点击“阅读原文”，加入CCF。