2025年10月9日，华夏计算机科技英才班成功举办了两场高水平的学术前沿讲座，特邀中国科学院计算技术研究所孙晓明研究员和上海财经大学邓玉欣教授作为主讲嘉宾。讲座聚焦计算机科学的核心思想与关键技术，分别围绕“计算思维”与“形式化方法及其应用”两大主题展开，旨在开阔英才班学生的学术视野，激发科研兴趣，领略计算机科学的深度与魅力。本次活动由英才班管理团队田野老师主持，负责人张昱老师及英才班同学参会。
首场讲座：追溯思想源流，拥抱数字时代——孙晓明研究员阐释“计算思维”
中国科学院计算技术研究所研究员、量子计算与算法理论实验室主任、国家杰出青年科学基金获得者、中国计算机学会会士孙晓明研究员带来题为《计算思维》的精彩报告。他指出，当前我们正深度融入由0和1构筑的数字世界，并回顾了计算机诞生至今的飞速发展历程。从大数据分析、计算思维、深度学习突破到量子计算探索，一系列革命性的计算模型与技术成果不断涌现。孙老师强调，尽管现代计算机的历史不足百年，但“计算”作为一种独特的思维方式，其源头可追溯至千年之前。他通过梳理计算技术发展的关键里程碑，深入浅出地阐释了“计算思维”作为计算机科学特有思考与研究范式的核心内涵，并鼓励英才班学子不仅要掌握技术，更要领悟其背后的思想精髓，持续探索计算科学的奥秘。
第二场讲座：构筑可靠基石，展望智能验证——邓玉欣教授解析“形式化方法及其应用”
上海财经大学邓玉欣教授随后作题为《形式化方法及其应用》的学术报告。作为CCF杰出会员，邓玉欣教授在并发理论、量子计算等领域贡献卓著，其提出的“邓引理”（Deng Lemma）被写入国外教材，并著有概率并发理论的英文专著。他在报告中系统介绍了形式化方法这一关键领域，指出形式化方法是基于严格形式逻辑与数学语义，对计算机软硬件系统进行描述、建模、开发、分析和验证的技术体系。随着系统复杂性的日益增加，形式化方法在提升系统可靠性与安全性方面发挥着越来越重要的作用，已深入系统生命周期的各个阶段。邓教授详细讲解了形式化方法的基本体系、主要技术手段及当前主流工具与应用场景，并前瞻性地分享了基于大语言模型构建与验证安全案例的前沿技术，为同学们描绘了形式化方法与人工智能融合发展的新图景。
本次学术讲座是华夏计算机科技英才班培养的重要组成部分。两场报告内容前沿、思想深邃，既有对计算科学本质的思考，又有对关键核心技术的深入剖析。讲座不仅为英才班学子提供了与顶尖学者面对面交流的宝贵机会，更在他们心中播下了探索计算机科学前沿、勇攀科技高峰的种子，有效促进了拔尖创新人才的培养目标。
