2025年7月6日下午，CCF“计算机历史进课堂”活动在江西师范大学举办。通过播放“CCF难以计算的贡献”访谈纪录片与专家学术报告相结合的方式，给同学们带来了别开生面的讲座活动。本次活动邀请了中国科学院软件研究所宋富研究员、南京大学计算机学院时清凯副教授、同济大学计算机科学与技术学院刘关俊教授、北京大学数学科学学院孙猛教授、浙江大学区块链与数据安全全国重点实验室袁胜浩研究员、中国科学院软件研究所吴志林研究员做了主题报告。江西师范大学党委副书记汪洋、人工智能学院师生共计50余人参与本次活动。

学术报告开始前播放了“周巢尘：摘取时段演算的桂冠” 访谈纪录片，该纪录片展现了周巢尘院士在计算机科学理论研究领域的卓越成就，特别是在软件形式化理论方面的建树。

“中国计算机历史进课堂”是由CCF计算机历史工作委员会发起活动，旨在让学生在专业学习早期，便能深入了解中国计算机的发展历史。不仅帮助同学们深入理解计算机学科的发展脉络，还激励他们传承并发扬老一辈计算机工作者的科学精神，为未来的学术探索提供不竭动力。

周巢尘，1937年生，江苏南汇人。我国计算机软件专家，在软件形式化理论方面做出了系统的、创造性的工作。

随后的报告环节，宋富研究员做了 “密码的形式化验证之路：从算法安全到实现安全”的报告。时清凯副教授分享了 “可靠使用大语言模型” 的两个创新思路及在网络协议安全分析中的应用。刘关俊教授分享了 “鲁棒的多智能体强化学习”的报告。孙猛教授探讨了二者交叉融合的相关研究成果及应对挑战的路径。袁胜浩研究员介绍了团队提出的形式语义及语义验证框架及其潜在应用价值。吴志林研究员做了 “RISC-V 处理器 Chisel 设计指令集一致性验证” 的报告。

此次活动融合了计算机历史的传承与前沿学术的探讨，不仅让师生们从老一辈科学家的奋斗故事中汲取了宝贵的精神养分，更为他们搭建了与领域内专家深入交流的桥梁。相信这样的活动会持续推动高校在计算机学科领域的教学与科研发展，激励更多青年学子投身计算机事业，为我国计算机行业的进步贡献智慧与力量。

“难以计算的贡献”是CCF推出的由历史工委主导的“记录计算机历史”访谈系列片。2019年CCF启动“记录计算机历史”项目，面向年龄在80岁以上，学术经历丰富的，为我国计算机事业发展作出突出贡献的老科技工作者，由CCF历史工委组织专门人员通过口述访谈、录音录像、实物采集等方式记录前辈们的辉煌历程和卓越贡献。为了展现创业者的功勋，传承他们的开拓精神，“难以计算的贡献”系列片记录了这些老科技工作者讲述的人生经历和不朽传奇，让大家对中国计算机的历史有更深刻的了解，不忘我们的来路，铭记前辈的精神。