北京大学熊英飞长聘副教授

报告生成时间：2026年8月20日
个人主页：熊英飞
所属团队：北京大学计算机学院软件研究所 / 软件工程国家工程研究中心

一、学者基本信息

字段	内容
姓名	熊英飞（Yingfei Xiong）
出生年份	1982年
职称	新体制长聘副教授、研究员
所属单位	北京大学计算机学院软件研究所
实验室职务	编程语言实验室（Programming Languages Lab）副主任；软件研究所副所长
学术头衔	ACM杰出会员（Distinguished Member, 2024届）、IFIP WG 2.4成员（唯一中国籍）
国家级人才	国家自然科学基金优秀青年基金（优青）获得者
其他任职	计算机学院院长助理（2020–2024）；IEEE Transactions on Software Engineering副主编（Associate Editor-in-Chief, 2026–2028）
邮箱	xiongyf@pku.edu.cn
研究方向	程序分析、程序合成、自动程序修复、软件工程、AI for Code

二、教育背景与职业履历

熊英飞1982年出生，学术路径横跨中日加三国。2000年至2004年就读于电子科技大学计算机科学专业，获学士学位。本科期间品学兼优，多次获得人民特等奖学金（前1%），并获IBM优秀学生奖学金、三星奖学金等荣誉。2004年在全国信息学奥林匹克竞赛（四川赛区）获一等奖，展现了早期在算法与编程方面的天赋。

2004年至2006年，熊英飞以预博士（Pre-Ph.D.）身份进入北京大学，师从杨芙清院士和梅宏教授（梅宏后任北京大学信息科学技术学院院长，2011年当选中国科学院院士）。在北大期间，他获得 Canon 奖学金和校长学习优秀奖，并在"百度之星"全国程序设计大赛中进入前50名。

2006年10月，熊英飞赴日本东京大学信息工学系攻读博士学位，导师为胡振江（Zhenjiang Hu）教授和竹内正人（Masato Takeichi）教授。东京大学期间，他的研究聚焦双向变换（bidirectional transformation），提出了基于差别的双向变换框架（delta-based bidirectional transformation），该框架后来成为最广泛使用的两大双向变换模型之一。他于2009年9月获得博士学位，在读期间获东京大学留学生特别奖学金（三年）。

2009年12月至2011年11月，熊英飞赴加拿大滑铁卢大学从事博士后研究，合作导师为 Krzysztof Czarnecki 教授。在滑铁卢大学 GSD（Generative Software Development）实验室期间，他与 Zinovy Diskin 和 Czarnecki 合作发表了将基于状态的双向变换扩展为基于差别的双向变换的奠基性论文（ICMT 2010），进一步完善了博士阶段的理论框架。

2012年4月，熊英飞回国加入北京大学信息科学技术学院（现计算机学院）软件研究所，入选"青年人才"计划（相当于预聘制助理教授）。2018年晋升为新体制长聘副教授。2020年至2024年担任计算机学院院长助理，2021年起担任软件研究所副所长。他是北京大学编程语言实验室的创始核心成员，该实验室由其博士导师胡振江教授于2019年创建，熊英飞担任副主任。

在北大任职期间，熊英飞主持了国家自然科学基金优秀青年基金、国家重点基础研究发展计划（973）青年科学家专题项目、国家重点研发计划课题等国家级科研项目，以及来自微软、华为等企业的横向项目。

三、学生培养情况

截至2026年，熊英飞已培养博士毕业生14名、硕士毕业生13名以上，目前在读博士生11名。其学生毕业后去向涵盖国内外一流高校教职、顶尖科技企业和创业团队。以下列举8位代表性学生：

1. 陈俊洁（Junjie Chen）（天津大学教授，博士毕业生；官方博士导师为谢冰教授，熊英飞为研究合作导师/协同指导）

陈俊洁2014年入读北京大学，2013年起跟随熊英飞开展研究，2019年获博士学位（官方博士导师为谢冰教授，熊英飞为实际研究指导教师），博士论文题为"Data-Driven Compiler Testing and Debugging"。他在读期间发表了大量高水平论文，涵盖 ICSE、FSE、ASE、TSE 等顶级会议和期刊。博士期间获得 CCF 优秀博士论文奖、北京大学校长奖学金、Qualcomm 奖学金（北大信科最高奖学金之一）等荣誉。毕业后入职天津大学智能与计算学部，现任教授，继续从事软件测试与编译器测试研究。陈俊洁是熊英飞团队中最早独立成为高校教职的博士之一，毕业后仍与熊英飞保持密切合作（如2025年 arXiv 论文 Trae Agent）。

2. 朱奇浩（Qihao Zhu）（DeepSeek创始团队成员，博士毕业生）

朱奇浩2019年入读北京大学，2017年起跟随熊英飞从事研究，2024年获博士学位，博士论文题为"Deep Learning for Code with Language Definition Awareness: Techniques and Applications"。他的研究将编程语言的语法定义信息融入深度学习模型，大幅提升了代码生成质量，相关成果发表于 ICSE、FSE、AAAI、IJCAI 等顶级会议。博士期间获 CCF TCSE 优秀博士论文奖、北京大学计算机学院优秀博士论文、校长奖学金、国家奖学金、字节跳动奖学金等荣誉。毕业后加入 DeepSeek（深度求索）创始团队，是 DeepSeek-Coder 系列代码大模型的核心贡献者之一。熊英飞也因对 DeepSeek-Coder 模型的贡献被列为论文共同作者。

3. 蒋嘉俊（Jiajun Jiang）（天津大学副研究员/特聘研究员，博士毕业生）

蒋嘉俊2015年入读北京大学，同年起跟随熊英飞，2020年获博士学位，博士论文题为"Research on Automatic Program Repair Technology for Infrequent Defects"。他是熊英飞在程序修复方向的核心学生，参与了 ACS 系列技术的开发，以及 GENPAT 等程序变换推断方法的研究。博士期间获国家奖学金、北京大学三好学生标兵等荣誉。毕业后入职天津大学，任副研究员（三年预聘制），与陈俊洁一起成为熊英飞学生群体在天津大学的重要学术节点。

4. 邹大明（Daming Zou）（ETH Zurich博士后、现任职（待核实），博士毕业生）

邹大明2015年入读北京大学，2013年起跟随熊英飞，2020年获博士学位，博士论文题为"Search-Based Methods for Testing and Analyzing Floating-Point Errors"。他的研究聚焦浮点数错误的测试与分析，成果发表于 POPL、ICSE、FSE、TSE 等顶级会议和期刊，其中 POPL 2020 论文是该领域的重要突破。博士期间获北京大学优秀博士论文奖、校长奖学金。毕业后赴瑞士苏黎世联邦理工学院（ETH Zurich）从事博士后研究，合作导师为 Martin Vechev 教授（待核实）。

5. 孙泽宇（Zeyu Sun）（中科院软件所助理研究员，博士毕业生）

孙泽宇2019年入读北京大学，2017年起跟随熊英飞，2022年获博士学位，博士论文题为"Research on Key-Constraints-Aware Program Generation Based on Deep Learning"。他是熊英飞团队中将深度学习与程序合成结合的核心学生，发表了 AAAI、IJCAI、ICSE、FSE 等多篇高水平论文。博士期间获校长奖学金。毕业后先在中关村实验室任助理研究员，后转入中国科学院软件研究所任助理研究员。

6. 王博（Bo Wang）（北京交通大学讲师，博士毕业生）

王博2015年入读北京大学，2014年起跟随熊英飞，2021年获博士学位，博士论文题为"Approaches for Automated Program Repair Based on Program Estimation"。他的研究聚焦基于程序估计的自动程序修复，成果发表于 ISSTA、TOSEM、ASE 等顶级会议和期刊。毕业后入职北京交通大学任讲师，成为又一进入高校任教的学生。

7. 纪如意（Ruyi Ji）（美国密歇根大学博士后，博士毕业生）

纪如意2020年入读北京大学，2017年起（本科阶段）跟随熊英飞从事研究，是熊英飞指导时间最长的学生之一。她的研究聚焦算法范式引导的程序合成（Program Synthesis Guided by Algorithmic Paradigms），成果极为丰富，发表了 PLDI（两篇）、OOPSLA（三篇）、TOPLAS、POPL 等程序设计语言领域最顶级会议和期刊论文。博士期间获 CCF TCFM 优秀博士论文奖、北京大学优秀博士论文、北京市优秀毕业生、微软亚研院奖学金、校长奖学金、国家奖学金、北京大学计算机学院科研十佳等荣誉。毕业后赴美国密歇根大学（University of Michigan）从事博士后研究。

8. 梁晶晶（Jingjing Liang）（华为软件工程师，博士毕业生）

梁晶晶2016年入读北京大学，2014年起跟随熊英飞，2022年获博士学位，博士论文题为"Improving the Review Process of Automatically Generated Patches"。她的研究关注自动生成补丁的审查过程改进，成果发表于 TSE、PLDI、ICSME 等会议和期刊。毕业后入职华为公司任软件工程师，成为熊英飞学生中进入产业界从事工程实践的典型代表。

学生培养特点总结： 熊英飞的学生培养呈现以下显著特征——（1）博士生产出高，多人获 CCF 优秀博士论文奖（陈俊洁、朱奇浩）和北京大学优秀博士论文奖（邹大明、纪如意）；（2）学生去向多元化，覆盖国内外顶尖高校教职（天津大学、北京交通大学）、顶级研究机构（中科院软件所、ETH Zurich、密歇根大学）和头部科技企业（DeepSeek、华为、Google、Amazon、腾讯）；（3）学生从本科阶段即开始参与研究（如纪如意、孙泽宇、朱奇浩均从2017年本科阶段开始），培养周期长、产出密度高；（4）博士毕业生中进入教职比例较高，在熊英飞回国仅14年的时间内已培养出多名高校教师，体现了强学术传承能力。

四、学术合作网络

4.1 实验室内部合作

熊英飞隶属于北京大学编程语言实验室（PL Lab），该实验室由其博士导师胡振江教授于2019年创立。实验室现有教师六人，形成了紧密的内部合作网络：

胡振江（Zhenjiang Hu）：教授，计算机学院院长，IEEE Fellow，欧洲科学院院士，日本工程院院士。胡振江既是熊英飞的博士导师，也是其现任实验室领导和最核心的合作者。两人从东京大学时期的师生关系延续到北大成为同事，共同指导了大量学生，在双向变换领域有长期合作。胡振江2019年从东京大学/日本国立情报学研究所（NII）回国加盟北大，直接促成了 PL Lab 的成立。
张昕（Xin Zhang）：助理教授，研究 ML for program analysis 和可解释 AI。与熊英飞在程序分析方向有密切合作，共同发表了 POPL 2026、ASE 2025、TSE 2025 等论文。张昕获 SIGPLAN/SIGSOFT 杰出论文奖。
Sergey Mechtaev：助理教授，获 ACM SIGSOFT 杰出博士论文奖。与熊英飞在程序修复和程序分析方向合作密切，共同发表了 ICSE 2026 杰出论文奖论文 HoarePrompt。
王迪（Di Wang）：助理教授，国家优青，研究资源安全系统编程和定量程序分析。
陈红杰（Hongjie Chen）：副教授，研究软件建模和服务计算。

此外，软件研究所内的梅宏院士、金芝教授、谢冰教授、张路教授、李戈教授等也是熊英飞在所内的学术合作者，共同构成可信软件工程研究组。

4.2 跨机构合作

Abhik Roychoudhury（新加坡国立大学教授）：与熊英飞共同撰写了 Science China Information Sciences 上的综述论文"Automated Program Repair: A Step towards Software Automation"（2019），在自动程序修复领域有学术交流。
Xin Xia（夏鑫，时任莫纳什大学/华中科技大学）：与熊英飞在程序修复领域合作，共同发表了 SCIS 2019 等论文。
Tao Xie（谢涛，时任伊利诺伊大学香槟分校教授）：与熊英飞在深度学习程序的可靠性保障方向合作，共同发表论文于 arXiv 等。谢涛也是北京大学客座教授，与软件研究所有长期合作关系。
Lu Zhang（张路，北京大学教授）：软件研究所同事，在故障定位和程序分析方向长期合作，共同发表 TSE 2025、ACL-Findings 2025 等论文。
Thorsten Berger（查尔姆斯理工大学/哥德堡大学）：与熊英飞在软件产品线（SPL）和双向变换领域有合作，可追溯至滑铁卢时期。
Zinovy Diskin：滑铁卢大学时期的合作者，与熊英飞和 Czarnecki 共同提出了 delta-based 双向变换框架。

4.3 国际合作

日本东京大学渊源：熊英飞的博士导师胡振江教授曾任教东京大学，其另一位导师竹内正人（Masato Takeichi）是日本程序演算（program calculation）学派的领军人物。熊英飞在东京大学 IPL（Information Processing Laboratory）实验室期间，与 Shin-Cheng Mu（穆信成）等同门有学术交流。这段日本学术渊源使得熊英飞成为中日软件工程学术交流的重要桥梁。
加拿大滑铁卢大学：博士后导师 Krzysztof Czarnecki 教授是软件产品线工程和生成式编程领域的国际权威。熊英飞在滑铁卢 GSD 实验室的两年经历为其在模型驱动工程方向奠定了坚实基础，与 Zinovy Diskin 的合作产出了双向变换领域的奠基性论文。
IFIP WG 2.4：熊英飞于2024年成为 IFIP WG 2.4（国际信息处理联合会程序生成与变换工作组）唯一来自中国的成员，这标志着他在国际程序设计语言社区的重要地位。该工作组成员包括国际程序演算和程序合成领域的顶尖学者。
DeepSeek（深度求索）：熊英飞的学生朱奇浩毕业后加入 DeepSeek 创始团队，熊英飞本人也作为共同作者参与了 DeepSeek-Coder 论文（arXiv 2024），体现了其研究在国际代码大模型发展中的实际影响力。
华为公司：熊英飞与华为有长期产业合作，承担华为横向项目，学生梁晶晶毕业后入职华为。其程序分析和修复技术在华为开发流程中有实际应用。
中兴公司（ZTE）：根据北京大学高可信软件技术教育部重点实验室的报道以及熊英飞个人主页论文信息，其研究成果已部署于中兴公司，ICSE 2026 论文 PredicateFix 明确提到"已在中兴部署并获得开发者积极反馈"。2021年至2024年，熊英飞担任北京大学-中兴联合基础软件实验室管理办公室主任。

五、业界合作关系深度分析

5.1 产业技术应用与合作

熊英飞的研究具有极强的产业转化导向，其成果在多个领域得到实际应用：

华为公司： 熊英飞与华为的合作始于其回国初期。根据其知乎专栏自述，回国发表程序修复论文后，华为是最早主动联系交流技术应用的国内企业之一。华为工程师向其阐述的实际需求——"几万名程序员，哪怕只自动修复1%的缺陷，每年也是千万元级的成本节省"——深刻影响了熊英飞对研究方向产业价值的认识。此后，熊英飞承担了来自华为的多个横向项目，其程序分析和缺陷修复技术在华为开发流程中得到应用，博士毕业生梁晶晶也入职华为担任软件工程师。

中兴公司（ZTE）： 2021年至2024年，熊英飞担任北京大学-中兴联合基础软件实验室管理办公室主任，该联合实验室是产学研深度合作的制度化体现。其 ICSE 2026 论文 PredicateFix 提出的静态分析告警修复方法已在中兴公司部署使用，并获得开发者的积极反馈。这标志着熊英飞团队的研究已从实验室原型进入企业生产环境。

新一代 Linux 内核配置项目： 熊英飞基于差别的双向变换理论被应用于新一代 Linux 内核配置系统，通过双向变换技术实现内核配置的一致性维护。这是其基础理论研究在开源系统中的典型应用案例。

燕云 DaaS 系统： 燕云 DaaS（Desktop as a Service，桌面即服务）系统采用了熊英飞的研究成果，具体涉及软件适配和配置管理方面的技术。

微软公司： 熊英飞曾承担微软公司的横向研究项目（2015年获微软亚研院合作奖），其早期研究中的编译器测试和程序分析技术与微软的开发工具有关联。

DeepSeek（深度求索）： 熊英飞虽然本身不任职于 DeepSeek，但其学生朱奇浩作为创始团队成员深度参与了 DeepSeek-Coder 系列代码大模型的研发。熊英飞本人作为 DeepSeek-Coder 论文的共同作者，其在代码生成评估、程序合成方法论方面的研究成果为该模型的训练策略和质量提升提供了学术支撑。高可信软件技术教育部重点实验室的报道明确指出"他的工作帮助产生了一系列不同规模的效果同期最优代码生成神经网络模型，如 DeepSeek-Coder 模型"。DeepSeek-Coder 在多项基准测试中超越了 Codex 和 GPT-3.5 等闭源模型，是开源代码大模型的里程碑。

5.2 创业孵化与技术成果转化

熊英飞团队在学生培养中展现出显著的产业孵化能力：

DeepSeek 创始团队： 博士毕业生朱奇浩作为创始团队核心成员加入 DeepSeek，将其在博士期间积累的代码大模型研究经验直接应用于产业级产品开发。DeepSeek 在2024年至2025年成为中国最具影响力的 AI 公司之一，其代码模型被全球开发者广泛使用。
学生产业分布： 熊英飞的硕士和博士毕业生中，多位进入顶尖科技公司：Google（2人，包括王然、高哲）、Amazon（刘馨元）、腾讯（王杰、杨晓东）、华为（梁晶晶、曾沐涵）、字节跳动相关生态等。这种广泛的产业分布使得熊英飞的研究网络与产业界形成了自然的技术扩散通道。
开源贡献： 熊英飞团队长期坚持研究工具的开源发布，包括 ACS 程序修复工具、玲珑代码生成框架等，相关代码和工具在其个人主页和 GitHub 上公开，降低了产业界采用其研究成果的门槛。
国际程序修复竞赛： 2024年，熊英飞团队在国际自动程序修复竞赛（APR Competition）的 Java 功能错误赛道获第一名、AI 生成代码赛道获第二名，展示了其技术在国际竞争中的领先地位。

六、重要奖项与学术兼职

重要奖项

年份	奖项	备注
2025	ACM杰出会员（Distinguished Member）	因程序修复和程序合成的贡献
2024	IFIP WG 2.4 成员	唯一中国籍成员
2024	国际程序修复竞赛（APR Competition）Java功能错误赛道第一名
2024	国际程序修复竞赛 AI生成代码赛道第二名
2022	中国电子学会自然科学一等奖	排名第一
2021	CCF-IEEE CS 青年科学家奖
2021	MODELS 十年最有影响力论文奖
2020	NASAC 青年软件创新奖
2019	国家自然科学基金优秀青年基金（优青）
2018	国家技术发明一等奖	排名第六，北京大学历史上首次
2017	中国电子学会技术创新特等奖	排名第六
2015	教育部科技进步一等奖	排名第五
2015	微软亚研院合作奖
2014	国家973青年科学家专题项目	负责人
2007–2008	东京大学 IPL 编程竞赛最佳团队奖	两次

ACM SIGSOFT/IEEE TCSE 杰出论文奖（5次）

年份	会议	论文
2026	ICSE	HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
2021	FSE	Fault Localization via Code Coverage Reconstruction
2021	ICSME	IEEE TCSE Distinguished Paper
2020	FSE	DNN Architecture Reliability
2019	ASE	Data-Driven Compiler Testing
2017	ISSTA	Efficient Program Analysis

杰出审稿人奖（5次）

ICSE 2024、ESEC/FSE 2022、ESEC/FSE 2021、ICSE 2020、ESEC/FSE 2020 杰出审稿人。

主要学术兼职

时期	职务
2026–2028	IEEE Transactions on Software Engineering 副主编（Associate Editor-in-Chief）
2023–2026	IEEE Transactions on Software Engineering 副编辑（Associate Editor）
2026	OOPSLA 2026 副主席（Associate Chair）
2025	ASE 2025 领域主席（Area Chair）
2024	OOPSLA 2024 审稿委员会委员
2021–2025	软件研究所副所长
2021–2024	北京大学-中兴联合基础软件实验室管理办公室主任
2020–2024	计算机学院院长助理
2018	SATE 2018 程序委员会联合主席

此外，熊英飞长期担任 PLDI、ICSE、FSE、OOPSLA、ASE、ISSTA 等程序设计语言和软件工程领域顶级会议的程序委员会委员，以及 IEEE TSE、Science of Computer Programming、Journal of Systems and Software 等期刊的审稿人。

七、Connection圈层总结

熊英飞的学术关系网络呈现以"师生传承+产学研融合"为特色的四圈层结构：

第一圈层（核心导师与合作者）： 胡振江（博士导师、现任实验室领导）、Krzysztof Czarnecki（博士后导师）、竹内正人（博士联合导师）。这三人构成了熊英飞学术基因的核心来源——胡振江的双向变换理论框架、Czarnecki 的模型驱动工程视角、竹内正人的程序演算学派，三者交汇形成了熊英飞独特的"从理论到工具到产业"的研究风格。胡振江2019年加盟北大后，师生二人从导师-学生关系转变为同事-合作者关系，共同打造了北大编程语言实验室这一中国程序设计语言研究的重要基地。

第二圈层（核心学生群体）： 熊英飞回国14年间培养了14名博士毕业生，形成了以陈俊洁（天津大学教授）、蒋嘉俊（天津大学副研究员）、朱奇浩（DeepSeek创始团队）、邹大明（ETH Zurich博后）、纪如意（密歇根大学博后）、孙泽宇（中科院软件所）、王博（北京交大讲师）等为代表的学术传承网络。其中天津大学已成为熊英飞学生群体最集中的校外机构（陈俊洁、蒋嘉俊），形成了北大-天大的学术合作轴线。朱奇浩加入 DeepSeek 则将学术网络延伸至 AI 产业最前沿。

第三圈层（校内同事与合作者）： 编程语言实验室的张昕、Sergey Mechtaev、王迪、陈红杰等青年教师，以及软件研究所的梅宏院士、金芝教授、谢冰教授、张路教授、李戈教授等，共同构成了熊英飞的日常学术生态。高可信软件技术教育部重点实验室（杨芙清院士创立）提供了平台支撑。

第四圈层（国际学术与产业网络）： 包括 IFIP WG 2.4 的国际程序变换学者社群、滑铁卢大学 GSD 实验室的网络、Abhik Roychoudhury（新加坡国立大学）、Tao Xie（伊利诺伊大学）、Xin Xia（莫纳什大学）等国际合作者，以及华为、中兴、微软、DeepSeek 等产业合作伙伴。熊英飞是 IFIP WG 2.4 唯一中国籍成员，这一身份使其成为连接中国程序设计语言研究与国际前沿的桥梁。

网络结构特征： 熊英飞的学术网络具有"中日加三国学术背景+产学研双轨驱动"的鲜明特征。从东京大学的双向变换理论出发，经滑铁卢大学的模型驱动工程实践，最终在北京大学落地为涵盖程序分析、合成、修复的完整研究体系。其学生群体的去向——半数进入高校教职、半数进入产业界——恰好映射了熊英飞自身"学术深度+产业影响"双重定位的成功。在 DeepSeek-Coder 等代码大模型兴起的背景下，熊英飞的研究网络正处于学术影响力与产业影响力双重增长的快车道。

北京大学 熊英飞 长聘副教授