PKU-SEI 熊英飞长聘副教授

报告生成时间：2026年8月20日
个人主页：熊英飞
所属团队：北京大学计算机学院软件工程研究所 / 高可信软件技术教育部重点实验室

一、学者基本信息

项目	内容
姓名	熊英飞（Yingfei Xiong）
出生年份	1982年（据百度百科条目）
现职称	北京大学计算机学院长聘副教授（Tenured Associate Professor）、兼聘研究员（"百人计划"/青年人才计划引进）
行政职务	曾任北京大学计算机学院（系）院长助理（2020–2024）、软件研究所副所长（2021–2025）；程序设计语言实验室（PL Lab）副主任
所属机构	北京大学计算机学院软件工程研究所；高可信软件技术教育部重点实验室
研究方向	智能化软件工程（AI for SE）、程序分析、程序合成、自动缺陷修复、程序验证、代码大模型
学术荣誉	ACM杰出会员（Distinguished Member，2025年当选2024届）、IFIP WG 2.4成员（唯一来自中国的成员）、IEEE会员、CCF会员
代表性成果	ACS自动修复技术、基于差别的双向变换框架、CodeBLEU代码评价指标、玲珑（Linglong）代码生成框架、算法程序自动求解
论文情况	发表论文170余篇（OpenAlex收录约170篇），5次获ACM SIGSOFT/IEEE TCSE杰出论文奖，5次获ICSE/FSE杰出审稿人奖
联系方式	xiongyf@pku.edu.cn（北京大学燕园校区理科一号楼1431室）

二、教育背景与职业履历

熊英飞的求学与职业轨迹横跨中国、日本、加拿大三国（需更正常见讹误：其并非"北大本硕博"，本科就读于电子科技大学，博士在东京大学取得，亦无在日产或微软亚研长期工作经历，滑铁卢为博士后阶段）：

2000.09–2004.06：电子科技大学计算机科学专业本科（曾获该校最高学生荣誉"杰出学生奖"、四川省优秀毕业生等）；
2004.09–2006.09：北京大学直博预备（Pre-Ph.D.）阶段，导师为梅宏教授与杨芙清院士（北大软件工程"青鸟"体系核心人物）；
2006.10–2009.09：日本东京大学博士，导师为胡振江（Zhenjiang Hu）教授与武市正人（Masato Takeichi）教授，从事双向变换（Bidirectional Transformation）研究，曾获东京大学留学生特别奖学金（三年）；
2009.12–2011.11：加拿大滑铁卢大学博士后，合作导师 Krzysztof Czarnecki 教授（软件产品线与模型同步领域权威）；
2012.04–2018.07：以北京大学"青年人才计划"（百人计划）特聘研究员身份加入北京大学（Tenure-Track助理教授等同）；
2018至今：北京大学长聘副教授（Associate Professor with Tenure）、兼聘研究员。

其研究脉络清晰：早年（东京大学—滑铁卢时期）以双向变换、模型同步、软件产品线配置为核心（与胡振江、Czarnecki、Zinovy Diskin等合作，获2021年MODELS最有影响论文奖）；回国后转向程序分析、程序合成与自动缺陷修复，近五年重心转向大模型时代的代码生成、LLM Agent 与 AI for SE。

主要学术组织归属：北京大学程序设计语言实验室（PL Lab，2019年由胡振江教授创建并任主任，熊英飞任副主任），该实验室还汇聚张昕、王迪、Sergey Mechtaev、陈洪捷等教师。

三、学生培养情况

北大软工所学生通常由导师组共同指导，熊英飞为主责导师（或重要合作导师）培养学生超过30人。以下选取代表性博士毕业生与在读学生（7人）：

陈俊洁（Junjie Chen），2019年博士毕业（2014年入学），博士论文《数据驱动的编译器测试与调试》。获CCF优秀博士学位论文奖、高通奖学金等；毕业后任天津大学副教授，现为天津大学教授，是编译器测试（GCC/LLVM缺陷挖掘）方向国内领军青年学者。与熊英飞保持长期合作（合著论文14篇以上）。
王博（Bo Wang），2021年博士毕业，博士论文《基于程序估计的自动修复方法》。现为北京交通大学教师（副研究员/硕导），其个人主页明确标注"博士导师：熊英飞"；以一作获中国首篇ISSTA ACM SIGSOFT杰出论文奖，团队向GCC/LLVM提交200余个bug、向Rust编译器提交60余个bug，成果应用于龙芯、华为。
孙泽宇（Zeyu Sun），2022年博士毕业（与张路共同指导），研究方向代码生成与代码表示。提出CodeBLEU评价指标（ICSE'20，与Qihao Zhu等合作），后被微软CodeXGLUE基准采纳为标准指标之一，是国际上引用极广的代码生成评测指标。现任中关村实验室助理研究员（后转中国科学院软件研究所），合著论文18篇。
Qihao Zhu（朱姓，名字以英文拼写为准），2024年博士毕业，博士论文《语言定义感知的深度学习代码技术》。获CCF TCSE优博、北大优秀博士论文、总统奖学金、国家奖学金及字节跳动奖学金；代表性工作Recoder（FSE'21语法引导修复）获SIGSOFT杰出论文奖提名。毕业后加入DeepSeek创始团队，是"学界优博进入国产大模型公司"的标志性案例。
Daming Zou，2020年博士毕业（与张路共同指导），博士论文《测试与分析浮点误差的搜索方法》获北京大学优秀博士论文奖。博士期间曾访问苏黎世联邦理工（ETH）Zhendong Su教授组，毕业后在ETH做博士后（POPL'20、OOPSLA'22论文作者），研究浮点程序分析与修复。
Ruyi Ji（季姓，名字以英文拼写为准），2025年博士毕业，博士论文《算法范式引导的程序合成》，获CCF形式化方法专委（TCFM）优博、北京大学优博、微软亚洲研究院奖学金等；在PLDI/OOPSLA/POPL等程序语言顶会持续发表算法合成工作，毕业后赴密歇根大学从事博士后研究。
肖远安（Yuan-an Xiao），2022年入学、2020年起跟随熊英飞，现为在读博士生，字节跳动Trae Agent（LLM软件工程智能体）开源项目的核心学生作者，亦为PredicateFix（ICSE'26）、SemOpt（TOSEM'26）等一作，是团队中"产学研贯通"的代表。

其余去向还包括：Jiajun Jiang（2020年毕业，任天津大学预聘制研究员）、Jingjing Liang（2022年毕业，入华为）、Hao Tang（2019年毕业，获微软奖学金，入阿里巴巴）、Guancheng Wang（2024年毕业，赴加拿大女王大学博士后）、Qing Gao（2016年毕业，获高通奖学金，北大软件博士后）；硕士生去向涵盖Google、腾讯、亚马逊、华为、Hulu等。总体上，其博士毕业生形成"三三制"格局：约三分之一进入高校任教（天津大学、北京交通大学、中科院等），约三分之一进入大厂与顶尖AI公司（DeepSeek、华为、阿里等），约三分之一赴海外名校（ETH、密歇根、女王大学）从事博士后。

四、学术合作网络

4.1 机构内核心合作（北大软工所/PL Lab）

基于OpenAlex合作数据（截至2026年，合作论文次数）：

张路（Lu Zhang，47次合作）：软工所教授，是其最密切的合作者，亦是大多数学生（孙泽宇、Daming Zou、Qihao Zhu等）的共同导师，两人构成"程序修复+代码生成"研究组的双导师核心。
胡振江（26次）：其东京大学博士导师，2019年全职回北大任讲席教授、计算机学院院长，创建PL Lab；师徒在北大再度成为同事，双向变换与函数式编程方向持续合作（2007–2025年跨度）。
梅宏（18次）：其北大硕士阶段导师、院士，早期软工所建制化研究的引领者；熊英飞作为主要完成人之一参与的梅宏/黄罡"云-端融合（燕云DaaS）"项目获国家技术发明一等奖。
郝丹（Dan Hao，14次）：软工所教授，缺陷定位、深度学习测试方向的主要内部合作者。
黄罡（13次）：燕云DaaS核心人物，系统软件方向合作。
谢冰（Bing Xie，7次）：软工所所长（2012年起），机构层面长期同事。
谢涛（Tao Xie，7次，2012–2024年）：2024年全职加入北大的讲席教授，与其在代码大模型、软件测试方向有长期合作；两人同处软工所，构成北大AI for SE的"双引擎"。
金芝（Zhi Jin，约2–3次）：直接合著较少，但通过其长期合作者赵海燕（Haiyan Zhao，约9次合作）及软工所需求工程方向存在间接网络联系；此外与李戈（Ge Li，4次）在代码生成与SAT求解（NLocalSAT）方向有跨组合作。

4.2 国内跨机构合作

郑子彬（Zibin Zheng，中山大学，22次合作，2019–2026年）：国内最多的校外合作者，双方在智能软件工程、区块链与代码大模型方向持续联合发表。
中山大学（Xiangping Chen、Yuan Huang等）、中科院深圳先进院（郭山杉、孙吕锐等）：智能问答与调试方向的系列合作（约2017–2021年）。
北京交通大学（王博）、天津大学（陈俊洁、Jiajun Jiang）：学生毕业后转为持续合作网络节点，形成"北大—天大—北交大"的编译器测试/程序修复学术带。
香港地区：香港科技大学张成奇（Shing-Chi Cheung，5次）、香港中文大学Michael R. Lyu、香港城市大学/中山大学李漓（Lili Mou，5次，后入Google DeepMind）等。

4.3 国际合作

滑铁卢大学：博士后导师Krzysztof Czarnecki（19次）及Zinovy Diskin（10次），双向变换与模型同步理论（2010–2014年高峰，含MODELS最有影响论文奖工作）。
欧洲双向变换学派：柏林工业大学Hartmut Ehrig、卢森堡大学Frank Hermann、加泰罗尼亚理工大学Fernando Orejas（各约5次，2011–2013年），图变换与代数双变换理论。
ETH苏黎世：Zhendong Su（3次，经Daming Zou访学建立），浮点程序分析。
微软研究院：Hongyu Zhang（微软亚洲研究院，10次，2014–2020年），编译器测试、代码评审与缺陷修复方向（SmartCommit等）。
英国：UCL的Mark Harman、Mike Papadakis（经孙泽宇的机器翻译测试工作）；华威大学/现北大Sergey Mechtaev（HoarePrompt，ICSE'26杰出论文，后者已加入北大PL Lab成为同事）。
美国：华盛顿大学Michael D. Ernst、卡内基梅隆大学Shurui Zhou、石溪大学康远（Kang Yuan）等。
日本：东京大学武市正人（6次）及NII团队。

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

5.1 联合实验室与企业项目

微软亚洲研究院：2015年获MSRA Collaboration Award（合作奖），与MSRA的Hongyu Zhang团队围绕编译器测试、代码评审形成约10篇合作论文；学生陈俊洁、唐浩、季汝依等先后获微软学者奖学金（MSRA Fellowship）。早期承担微软公司横向项目。
华为：长期承担华为公司横向项目（其2021年个人简介明确列出"来自微软、华为公司的多个项目"）；研究成果被华为采用（程序分析/缺陷修复技术落地），毕业生Jingjing Liang、Muhan Zeng等入职华为。
中兴（ZTE）：2021–2024年担任北京大学—中兴通讯基础软件联合实验室管理办公室主任；其LLM辅助静态分析告警修复技术PredicateFix（ICSE 2026）已在中兴部署并获开发者积极反馈。
字节跳动：与字节Trae团队（Chao Peng、彭超等）联合发表开源智能体框架 Trae Agent（arXiv 2025，含测试时扩展的LLM软件工程智能体），博士生肖远安为论文核心作者；Trae为字节AI IDE产品（月活超百万），联合研究聚焦LLM Agent成本控制与轨迹压缩（FSE'26）。
DeepSeek（深度求索）：毕业生Qihao Zhu加入DeepSeek创始团队；北大高可信实验室官方新闻称其评测与修复工作"帮助产生了一系列不同规模的效果同期最优代码生成模型，如DeepSeek-Coder"（其CodeBLEU等评测体系被DeepSeek-Coder等模型采用）。
其他：成果被新一代Linux内核配置项目（基于差别的配置同步）、燕云DaaS系统（云-端融合互操作平台，技术发明特等奖/国家一等奖成果产业化载体）采用；早年与ASML（Arnaud Hubaux）在产品线配置领域合作；硕士生多去向腾讯、Google、亚马逊、农行、国家信息中心等。

5.2 产业转化与开源生态

ACS/缺陷修复技术链：从ACS（正确率从不足40%提升至70%以上）、问答知识驱动的修复（ASE'15）到Recoder、Tare、PredicateFix，形成完整的自动程序修复技术谱系，在2024年国际自动程序修复竞赛（APR Competition）中获Java功能缺陷赛道第一名、AI生成代码赛道第二名。
CodeBLEU与代码大模型评测：其团队提出的CodeBLEU被微软CodeXGLUE基准采纳为代码翻译/生成任务的官方指标，成为全球代码大模型评测事实标准之一，间接影响DeepSeek-Coder等模型迭代。
开源项目：课题组在GitHub开源了Recoder、TreeGen、OCoR、Grape、NLocalSAT、CombineFL、Atomu、PSO、Trae Agent等系列工具（以学生个人/课题组仓库形式维护）；Trae Agent 已成为LLM软件工程智能体研究广泛使用的开源框架。
"玲珑"代码生成框架：面向国产化代码智能的生成框架，多次在国内学术会议做报告推介。
（注：网传其"运营Soot中国社区"的说法未获可靠来源证实，此处不采信；其团队的开源影响主要通过上述自研工具链体现。）

六、重要奖项与学术兼职

主要奖项：

国家技术发明一等奖（2018年，第6完成人，"云-端融合系统的资源反射机制及高效互操作技术"项目，北大历史上首个国家技术发明一等奖）；
中国电子学会自然科学一等奖（2022年，排名第1）；
中国电子学会技术发明特等奖（2017年，第6完成人）；
教育部科技进步一等奖（2015年，第5完成人）；
国家自然科学基金优秀青年基金（2019年，Early Career Award）；
青年973项目（青年科学家专题）负责人（2014年）、国家自然科学基金重点项目（北大负责人）；
CCF-IEEE CS青年科学家奖（2021年）、NASAC青年软件创新奖（2020年）；
MODELS十年最有影响论文奖（2021年）；
ACM SIGSOFT/IEEE TCSE杰出论文奖5次（FSE'21、ICSME'21、ASE'19、ISSTA'17、FSE'20等）、ICSE'26 HoarePrompt再获SIGSOFT杰出论文奖；
ICSE/FSE杰出审稿人奖5次；
ACM杰出会员（Distinguished Member，2025年当选）；IFIP WG 2.4（系统软件理论与实践工作组）唯一中国成员；
2015年微软亚洲研究院合作奖；指导学生获CCF优博（陈俊洁）、CCF TCSE优博（Qihao Zhu）、CCF TCFM优博（Ruyi Ji）等多篇。

（需更正背景假设：熊英飞本人并未获得CCF优秀博士学位论文奖——获CCF优博的是其学生陈俊洁；其国内博士阶段经历亦不涉及。）

主要学术兼职：

IEEE Transactions on Software Engineering（TSE）副主编（Associate Editor-in-Chief，2026–2028；此前2023–2026任编委）；
OOPSLA副主席/领域主席（2026年Associate Chair，2024年审稿委员会）、ASE领域主席（2025）；
SATE'18程序委员会联合主席；PLDI、ICSE、FSE、ASE、ISSTA、OOPSLA、FASE等会议PC/ERC长期成员；
2025年SIGSOFT暑期/冬季学校资助项目遴选委员会委员、ICSE 2025 Shadow PC指导委员会主席；
国内方面：Chinasoft（中国软件大会）程序语言前沿论坛/形式化方法与应用论坛联席主席（2022、2024、2025）、CNCC 2022 DSL与安全编程论坛主席、CCF TCSE微信公众号主编（2016年起）。

七、Connection圈层总结

第一圈层（导师+核心同事）：梅宏、杨芙清（北大硕士阶段导师，软工所学术体系的源头）；胡振江（东京大学博士导师，现为北大计算机学院院长、PL Lab主任，学术上"从师徒变同事"的强连接）；Krzysztof Czarnecki（滑铁卢博士后导师，双向变换理论纽带）；张路（47篇合作的实际科研共同体核心）。这一圈层决定了其"北大软工所建制内骨干+国际程序语言/软件工程双重学术血统"的身份。

第二圈层（同门与师承延伸）：东京大学胡振江门下的双向变换学派（武市正人、NII团队）；北大梅宏/杨芙清-黄罡-刘譞哲"燕云DaaS"国家一等奖团队；Czarnecki门下的产品线/模型同步学者（Zinovy Diskin、Arnaud Hubaux→ASML）。

第三圈层（现单位合作网络）：北大软工所与PL Lab的密集内部网络——谢冰、郝丹、黄罡、谢涛（2024年回归）、赵海燕、李戈，以及新加入的张昕、王迪、Sergey Mechtaev等；学生派生节点天津大学陈俊洁/Jiajun Jiang、北交大王博。

第四圈层（跨机构与产业界）：国际学者（Zhendong Su/ETH、Michael Ernst/UW、Mark Harman/UCL、Shing-Chi Cheung/HKUST、Lili Mou/DeepMind）；国内跨校合作（中山大学郑子彬等）；企业网络——微软亚研院（合作奖、奖学金体系）、华为（横向项目+技术落地）、中兴（联合实验室主任）、字节跳动（Trae Agent联合研发）、DeepSeek（毕业生进入创始团队、评测体系被采用）。

整体判断：熊英飞是中国AI for SE/程序修复与代码大模型方向承上启下的枢纽型学者——向上承接北大青鸟/梅宏学派的建制资源与国际（东京—滑铁卢）程序语言训练，向下通过"高校任教—大厂AI实验室"双轨的学生输出网络，以及"评测标准（CodeBLEU）→开源框架（Trae Agent）→产业部署（华为/中兴/字节）"的成果转化链条，深度嵌入国产代码大模型生态。其合作网络兼具学术纵深（PL/SE顶会全覆盖、TSE副主编）与产业广度（微软、华为、中兴、字节、DeepSeek五线并行），是观察中国智能软件工程产学研格局的关键节点人物。

PKU-SEI 熊英飞 长聘副教授