近日，中国科学院大学公布了2025年李佩优秀教师奖获奖名单，中国科学院计算技术研究所孙晓明、张科两位老师获此殊荣。中国科学院大学“李佩优秀教师奖”旨在奖励奉献在教学一线、承担大量教学任务的中国科学院系统内授课教师，是中国科学院大学设立的教师最高荣誉，2025年度中国科学院大学共计39位教师获此奖项。

孙晓明研究员长期从事理论计算机科学领域的研究。理论计算机科学以可计算性与计算复杂性为核心，强调用严格的数学证明来界定计算能力的边界与开销，是理解“什么能算、如何算的更好”的第一性原理学科。这一研究领域相对于计算机领域的很多其他方向来说，更加注重证明的严谨性，对很多本科学生来说往往会觉得起步门槛过高，研究过程有不小的难度。因此在学生培养上，尤其是针对本科生或者低年级研究生的培养上，他非常注重以解题驱动和启发式引导潜移默化地激发学生的科研兴趣，培养学生的理论品味。

作为中国科学院大学岗位教授，孙晓明长期主讲《组合数学》、《高级算法设计与分析》、《计算机科学导论》等本科与研究生理论课程。在课堂上他注重从组合数学、图论与复杂性等视角看待计算问题，善于采用启发式教学方法，通过问题引导和启发学生思考，有效培养学生好奇心和思辨能力。他从简单例子出发逐步推广到一般情形，培养学生形成计算思维与抽象建模能力，并在持续的课堂互动中激发对理论研究的内在兴趣。他还长期担任本科生学业导师，积极鼓励并指导低年级学生开展理论计算机方向的探索性研究，他先后指导过多名学生在本科阶段就完成了包括“字符串匹配问题的决策树复杂性”和“图上成比例公平分配的算法设计”等理论成果。受其影响，多位学生选择投身理论计算机领域，相继进入芝加哥大学、中国科学院计算技术研究所、软件研究所等顶尖机构攻读博士学位，其中已有数人顺利完成博士学业，正逐步成长为理论计算机方向的青年骨干力量，形成持续传承的学术梯队。

孙晓明始终坚持以“兴趣驱动、启发引导、循序渐进、科教融合”为核心理念，在课程教学与科研训练中注重言传身教、示范引领，真正做到既教书又育人。他着力培养学生的问题意识与方法论自觉，引导学生在严谨的学术训练中锤炼思维、追求创新，同时涵养家国情怀、拓展国际视野，他为我国理论计算机科学领域的人才培养与学术传承作出了积极贡献。

张科，中国科学院计算技术研究所正高级工程师，中国科学院大学岗位教授。主要研究领域为计算机系统结构，重点关注开源RISC-V处理器芯片敏捷开发、异构加速计算与FPGA云化服务。近年来带领团队研制开源芯片敏捷开发云平台“思沃”，利用云计算与异构算力等信息化技术手段探索敏捷实验教学模式，在国际计算机科学教育教学领域知名会议上发表多篇教研论文。主讲的国科大本科生《计算机组成原理》2020年入选首批国家级一流本科课程（线下）、北京高等学校优质本科课程，2021年获评北京高等学校优质本科教材课件，2022年入选北京市课程思政示范课程。牵头建设教育部全国性“计算机系统与处理器芯片课程虚拟教研室”，2023年获评“典型虚拟教研室”与“典型教研成果”称号，2025年入选“典型教研方法”名单及“产教融合科教融汇”教研成果展，获中国科学院大学2025年教育教学成果一等奖。

张科自2016年开始承担国科大本科《计算机组成原理》授课任务，始终以立德树人为根本，围绕计算机系统与处理器芯片领域拔尖创新人才培养中面临的挑战，将十年间的教学与科研经验进行总结，形成并不断完善“一课三室”人才培养模式。该模式首先通过“理实结合”对具有代表性的一门计算机专业核心课程进行改革，然后利用敏捷云化的信息技术手段打通“教室-实验室-教研室”之间隔断，并以虚实兼顾、开源开放机制引领青年教师及科教团队开展长周期递进式教学培养实践，最终为解决系统与芯片领域的“卡脖子”关键技术问题提供未来领军人才储备。