7月8日，华为公司2025年“难题揭榜”火花奖北京大学专场颁奖典礼在京举行。北京大学副校长朴世龙，华为公司董事、2012实验室总裁查钧出席典礼并为获奖师生颁奖。

在本次火花奖评选中，北京大学计算机学院有四位老师荣获华为“火花奖”，分别是胡振江、杨仝、郭耀、罗国杰（按获奖时间顺序）。其中，杨仝老师个人荣获5枚“火花奖”，为目前单人获奖数量最高纪录。

火花奖，取“火花碰撞”之意。自2021年11月起，华为公司把产业面临的老大难问题总结提炼为科学问题向社会发布，采用难题揭榜的形式，寻找基础理论扎实、有创新解题思路的人才，同时鼓励高校教师踊跃揭榜，解决真问题，真解决问题。

（*按获奖时间顺序）

胡振江：难题牵引，奠基未来

华为从实际需求出发提出最具价值的难题，北大则组建顶尖团队，协同攻关。我深感荣幸，能与2012实验室紧密合作，以难题为牵引，研发了面向领域特定语言及其支撑环境的快速构建方案，让语言工程驱动的软件开发新范式落地，为未来软件产业的变革开拓了想象空间！

杨仝：五度火花，淬刃破关

我有幸获得了5次火花奖，合作了多个项目，大部分成果落地到产品中。随着难题的一个个攻关，找到了更多的科研选题，我的团队也吸引到了更多优秀学生。难题对于我们科研人员来说，它既是科研方向的参考标尺，也是检验学生能力的试金石。

郭耀：真题砺才，产教育英

操作系统领域的研究，需要深厚的积累，国家需要硬核的科技生力军。在破解产业级真难题的过程中，华为搭建了实战平台，学生们从理论学习跃入到复杂系统实践，飞速蜕变，产教融合，培养了一批顶尖人才。

罗国杰：创新破局，产研双赢

课题组在硬件缺陷检测领域的前期积累，坚定了我们攻关解题的信心。我们创新性地结合大模型思维链与模糊测试技术来解决该问题，合作论文也获首届大模型辅助设计研讨会的最佳论文提名。既解决了真实难题，也得到了同行认可，产业学术良性循环。