PKU-SEI 张路教授

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

一、学者基本信息

项目	内容
姓名	张路（Lu Zhang）
出生年份	1973年
当前职称	教授、博士生导师
行政职务	北京大学计算机学院软件科学与工程系副系主任；高可信软件技术教育部重点实验室副主任
所属机构	北京大学计算机学院软件研究所
研究方向	软件分析与测试、软件维护与演化、程序合成、程序理解
人才头衔	教育部"长江学者奖励计划"特聘教授；国家杰出青年科学基金获得者；教育部2008年度"新世纪优秀人才支持计划"入选者
电子邮件	zhanglu@sei.pku.edu.cn
办公电话	86-10-6275 1794
论文发表	在软件工程和编程语言等领域的重要期刊和会议上已发表学术论文100余篇，其中在ICSE、FSE、ASE等软工三大顶会上发表论文30余篇

说明： 关于行政职务，多方来源显示张路担任"软件科学与工程系副系主任"（非计算机学院副院长或校长助理）。根据北京大学计算机学院学院架构页面，软件科学与工程系系主任为谢涛，副系主任为孙艳春、张路。高可信软件技术教育部重点实验室人员页面亦将其列为"可信软件工程研究组"学术骨干。百度百科所述"副系主任"与官方页面一致。

二、教育背景与职业履历

2.1 教育背景

时间	经历	说明
1991–1995	北京大学计算机科学技术系，本科	1995年获计算机软件专业学士学位
1995–2000	北京大学计算机科学技术系，博士研究生	2000年获计算机软件博士学位，师从杨芙清院士

张路的本科和博士均在北京大学完成，是典型的"北大本土培养"学者。其博士导师杨芙清院士是中国科学院院士、北京大学软件工程学科创始人、青鸟工程主持人，在中国软件工程领域具有奠基性地位。张路博士期间应深度参与了青鸟工程相关研究。

2.2 海外经历

时间	经历
2000年9月–2003年1月	英国牛津布鲁克斯大学（Oxford Brookes University）、利物浦大学（University of Liverpool）博士后研究

博士后期间主要在软件维护与演化领域开展工作，这段海外经历奠定了其后续在国际软工社区（特别是软件维护方向 SCAM/ICSM 系列会议）的活跃基础。

2.3 职业履历

时间	职位	单位
2003年2月–至今	教授（先后经历讲师/副教授/教授晋升）	北京大学计算机学院（原信息科学技术学院计算机科学技术系）
—	高可信软件技术教育部重点实验室副主任	北京大学
—	软件科学与工程系副系主任	北京大学计算机学院

张路自2003年回国后即任教于北京大学，长期深耕于软件工程研究所，是杨芙清—梅宏学术谱系中的重要成员，也是青鸟工程后续研究和高可信软件技术教育部重点实验室的核心骨干。

三、学生培养情况

根据北京大学软件工程研究所（SEI）官方学生名单页面（https://www.sei.pku.edu.cn/People/Student.htm）以及公开可查的信息，张路作为博导长期指导大量博士和硕士研究生。以下列出可考证的代表性学生（含已毕业博士和在读博士生），生源数据主要来自SEI官网学生列表及学生个人主页。

3.1 已毕业博士（代表性）

序号	姓名	入学年级	研究方向	毕业去向与备注
1	钟浩（Hao Zhong）	约2005级	软件工程、经验软件工程	上海交通大学计算机科学与工程系研究员（长聘）、博士生导师。博士导师为梅宏院士，张路与谢涛为共同指导导师。博士论文获CCF优秀博士学位论文提名奖。曾获ACM SIGSOFT杰出论文奖、ASE最佳论文奖、APSEC最佳论文奖。2012–2014年在UC Davis做访问学者（合作导师Zhendong Su），先在中科院软件所工作，2014年加入上海交通大学。
2	邹大明（Daming Zou）	2015级硕士转博士	软件测试、程序分析	硕士2015级入学，后转为博士（2017级博士生列表中亦出现）。主要研究软件测试与调试，在ICSE、FSE等顶会发表论文。毕业后去向为学术界（具体单位待确认）。
3	许梦伟（Mengwei Xu）	2014级博士	软件工程、移动计算	2020年毕业于北京大学软件研究所。获2021年ACM SIGMOBILE China优秀博士学位论文奖。研究方向涉及移动应用分析与软件工程。
4	胡星（Xing Hu）	2015级博士	软件工程、深度学习与代码注释	2015级博士生，主要研究深度学习在软件工程中的应用（如代码注释自动生成），在EMSE等期刊发表论文。
5	陈震鹏（Zhenpeng Chen）	2016级硕士/2018级博士	移动应用分析、软件工程	先以硕士入学（2016级），后转为博士（2018级），研究移动应用软件分析。

3.2 在读博士（部分）

序号	姓名	入学年级	备注
6	韩佳良（Jialiang Han）	2019级	软件工程方向
7	朱琪昊（Qihao Zhu）	2019级	软件工程方向
8	田德宇（Deyu Tian）	2018级	软件工程方向

3.3 培养质量

百度百科词条记载，张路培养的人才中包括： - 本科生入选CCF优秀大学生 - 博士生入选微软学者（Microsoft Scholar） - 博士学位论文入选北京大学优秀博士学位论文、CCF优秀博士学位论文

上述荣誉表明张路在学生培养方面具有较高的质量和声誉，其学生毕业后多进入国内外知名高校（如上海交通大学、中科院软件所等）和大型科技企业任职。

四、学术合作网络

4.1 核心合作者（北京大学内部）

张路的学术合作网络以北京大学软件工程研究所内部为核心，形成了以杨芙清—梅宏学术谱系为纽带的紧密合作圈层。

合作者	机构/职称	合作关系说明
杨芙清	北京大学，中国科学院院士	张路的博士导师，青鸟工程主持人。张路的博士论文研究在杨芙清指导下完成，学术血脉的直接传承。杨芙清创立了北大软件工程学科，张路是其学术遗产的核心继承者之一。
梅宏	北京大学，中国科学院院士	梅宏为杨芙清的学生（学术谱系中张路的"师兄"），曾任软件工程研究所所长（2003–2012）。梅宏与张路同属软件工程研究所核心成员，在网构软件、软件构件技术等方面有长期合作。梅宏获国家科技进步二等奖等奖项，张路参与的获奖项目很可能与梅宏团队有关。
谢冰	北京大学，教授，原软件工程研究所所长（2012–）	谢冰1998年进入北大工作，与张路长期共事于软件工程研究所。谢冰的研究领域涵盖软件工程和分布式系统，二人同为高可信软件技术教育部重点实验室核心成员，共同承担多项国家级科研项目。
郝丹	北京大学，副教授	郝丹2008年博士毕业于北京大学（与张路同属软件工程研究所），主要研究软件测试、调试和维护。郝丹与张路在软件测试方向（特别是测试用例优先排序、测试用例精简等）有密切合作，共同在ICSE、FSE、ASE、TSE、TOSEM等顶会顶刊发表论文。郝丹获NSFC优青（2015）、教育部青年长江学者（2016），是张路在测试方向最核心的合作者之一。
熊英飞	北京大学，长聘副教授、计算机学院院长助理、软件研究所副所长	熊英飞2012年加入北大，研究方向为程序分析、合成和修复。虽然与张路的研究侧重点不同（熊英飞偏程序合成/修复，张路偏测试/维护），但二人同属软件工程研究所和高可信重点实验室的"可信软件工程研究组"，共同参与实验室团队建设和学科发展。熊英飞获国家技术发明一等奖（排名6）、5次ACM SIGSOFT杰出论文奖、MODELS十年最有影响力论文奖等。
谢涛	北京大学，讲席教授，软件科学与工程系系主任	谢涛2019年左右全职加入北大（此前为UIUC正教授），现任软件科学与工程系系主任，是张路的直接行政上级。谢涛是ACM Fellow、IEEE Fellow，曾获ACM SIGSOFT全部三项高级奖项。谢涛在北大期间与张路有合作指导学生的关系（如共同指导钟浩）。
周明辉	北京大学，教授	同为高可信软件技术教育部重点实验室"可信软件工程研究组"学术骨干，研究软件工程经验度量与数据分析。

4.2 跨机构学术合作者

合作者	机构	合作说明
谢涛	原UIUC，现北京大学	在谢涛回国前，二人已有跨机构合作（如共同指导钟浩的博士论文）。谢涛在UIUC期间 longstanding与北大软件工程研究所有密切合作。
Zhendong Su	原UC Davis，现ETH Zurich	通过学生钟浩的访学建立了联系，钟浩2012–2014年在UC Davis与Su合作。
南京大学软件工程组	南京大学	张路与南京大学软件工程团队（如王林章等）在CCF中国软件大会等学术活动中有合作，共同组织论坛/研讨会。
北京理工大学刘辉	北京理工大学	刘辉教授（CCF杰出会员，软件智能与软件工程研究所副所长）与张路在软件质量保障方向有学术交流。

4.3 国际学术社区参与

角色	会议/期刊	时间
程序委员会共同主席	SCAM 2008（Source Code Analysis and Manipulation）	2008
程序委员会共同主席	ICSM 2017（International Conference on Software Maintenance and Evolution）	2017
程序委员会委员	FSE、OOPSLA、ISSTA、ASE 等	长期
编委	Software Testing, Verification and Reliability (STVR)	现任
编委	Journal of Software Maintenance and Evolution: Research and Practice	曾任
编委	《软件学报》	现任

张路在软件维护与演化领域的国际学术社区中具有突出影响力，担任SCAM和ICSM两个该领域旗舰会议的程序委员会共同主席，体现了其在该方向的国际学术地位。

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

5.1 企业合作

张路所在的北京大学软件工程研究所和高可信软件技术教育部重点实验室，长期与产业界保持紧密合作。以下为可考证的企业合作关系：

企业/机构	合作性质	说明
华为	技术合作	高可信软件技术教育部重点实验室整体与华为有密切合作关系。同所的熊英飞明确提到其研究被华为公司采用。软件工程研究所的测试优化技术、静态代码分析工具等亦面向产业应用。青鸟工程衍生的软件工程化工具在华为等企业有应用基础。
北大软件工程股份有限公司	成果转化	软件工程国家工程研究中心（杨芙清创建）于2000年改制成立北京北大软件工程股份有限公司，作为企业化运作实体。张路作为软件工程研究所核心成员，其研究成果通过该渠道进行产业化转化。
软件工程国家工程研究中心	依托平台	该中心以青鸟工程为依托，研发了库博（CoBOT）静态代码分析工具（2018年获日内瓦国际发明展金奖），张路作为研究所核心教师参与中心相关工作。中心与众多中小微企业合作推进数字化转型。
微软	学术合作	谢涛（北大讲席教授、系主任）曾获Microsoft Research Outstanding Collaborator Award，且与微软有长期合作。张路与谢涛共同指导学生，且其博士生入选微软学者，说明与微软学术体系有间接合作。
腾讯、百度等	行业合作	北京大学软件工程研究所整体与国内大型互联网企业有合作项目（特别是在软件测试、智能化软件工程方向）。实验室承担国家863计划、973计划、科技支撑计划等重大项目时，通常有企业参与。

说明： 上述企业合作多为团队/实验室层面的合作关系，而非张路个人单独签约的项目。由于高校教师的企业合作项目通常不全部公开，以上信息基于公开报道和实验室层面的合作关系推断，具体合作细节可能更为广泛。

5.2 产学研转化

张路的研究成果在产学研转化方面主要通过以下路径实现：

青鸟工程遗产转化： 张路作为杨芙清院士的学生和青鸟工程后续研究的核心成员，其研究成果通过软件工程国家工程研究中心进行产业化。该中心研发的软件开发工具、测试工具等已服务于国内软件产业。
测试优化技术转化： 张路在迭代式软件开发测试优化方面的研究成果（包括测试用例优先排序、测试用例精简等技术）具有直接产业应用价值，相关技术可集成到持续集成/持续交付（CI/CD）流水线中。
静态代码分析： 实验室团队研发的库博（CoBOT）静态代码分析工具已实际部署应用，张路在软件分析方向的研究为该类工具提供了理论支撑。

六、重要奖项与学术兼职

6.1 重要奖项

年份	奖项名称	等级	备注
2006	国家科技进步二等奖	国家级	百度百科记载获奖年份为2006年；该奖很可能与梅宏/杨芙清团队的青鸟工程或网构软件相关项目有关
—	国家自然科学二等奖	国家级	具体年份待确认；百度百科记载有此奖项
2008	教育部"新世纪优秀人才支持计划"	部级	入选
2013或2014	教育部"长江学者奖励计划"特聘教授	部级	根据EECS学院页面杰出人才列表确认
—	国家杰出青年科学基金	国家级	根据EECS学院页面确认（具体年份待查，可能在2014–2016年间）
2023–2024	高校计算机专业优秀教师奖励计划	行业	2023–2024年度入选
2025	CCF科技成果奖自然科学二等奖	学会	参与完成项目《基于软件重构的软件质量保障理论与方法》

说明： 关于国家科技进步二等奖，百度百科词条明确记载"2006年国家科技进步二"，但信息被截断。该奖项大概率是作为团队成员（非第一完成人）获得，项目可能与青鸟工程或网构软件技术体系有关（梅宏团队的网构软件技术体系获国家科技奖4项）。国家自然科学二等奖的具体年份和项目名称在公开来源中未能确认。

6.2 学术兼职

类型	具体职务
国际期刊编委	Software Testing, Verification and Reliability (STVR)
国际期刊编委（曾任）	Journal of Software Maintenance and Evolution: Research and Practice
国内期刊编委	《软件学报》
会议主席	SCAM 2008 程序委员会共同主席
会议主席	ICSM 2017 程序委员会共同主席
程序委员会委员	FSE、OOPSLA、ISSTA、ASE 等国际顶级软工/编程语言会议
学术组织	CCF软件工程专委会委员（根据参与CCF中国软件大会等活动的记录推断）

七、Connection圈层总结

张路教授的学术关系网络呈现出清晰的同心圆结构，以北京大学软件工程研究所为圆心逐层展开：

第一圈层（核心合作圈）： 杨芙清院士（博士导师）—梅宏院士—谢冰教授—郝丹副教授。这是张路最紧密的学术合作圈，四人同属北大软件工程研究所/高可信重点实验室核心成员，共同传承青鸟工程的学术遗产。其中杨芙清为导师，梅宏为师兄兼 academic lineage 传承者，谢冰为长期共事同事，郝丹为在软件测试方向最密切的合作者。在测试优化、软件维护演化方向，张路与郝丹形成了"教授—副教授"的研究搭档模式，共同在ICSE/FSE/ASE/TSE/TOSEM等顶会顶刊持续产出。

第二圈层（研究所同事圈）： 熊英飞（程序合成/修复方向）、谢涛（系主任，软件工程/可信AI方向）、周明辉（软件度量方向）、李戈、赵俊峰、麻志毅、赵海燕、孙艳春、张伟、邹艳珍等。这些教师同属高可信重点实验室"可信软件工程研究组"，在学科建设、项目申报、学生培养等方面有日常协作，但研究方向各有侧重。

第三圈层（学生与学术传承圈）： 钟浩（上海交通大学研究员，最成功的毕业生代表）、许梦伟（获ACM SIGMOBILE China优秀博士论文奖）、邹大明等已毕业博士，以及目前在读的数十名博/硕研究生。张路培养学生质量突出，学生获微软学者、CCF优秀博士论文等荣誉，毕业后多进入上海交通大学、中科院软件所等知名学术机构。

第四圈层（跨机构与产业圈）： 学术界方面，通过谢涛（原UIUC）与北美软工社区连接，通过学生钟浩与UC Davis（Zhendong Su，现ETH Zurich）建立联系，与南京大学、北京理工大学等国内软工团队有学术交流。产业界方面，依托软件工程国家工程研究中心和高可信重点实验室，与华为、微软、北大软件工程股份有限公司等企业有研究合作，研究成果通过青鸟工程遗产和库博（CoBOT）等工具实现产业化转化。

学术谱系定位： 张路是中国软件工程领域"杨芙清—梅宏"学术谱系的关键节点。他既继承了青鸟工程在软件工程环境/构件技术方面的传统，又在软件测试与维护这一方向上建立了独立的国际学术声誉（SCAM/ICSM程序委员会共同主席、STVR编委），并向程序合成、智能化软件工程等新方向拓展。其"长江学者特聘教授+国家杰青"的双料人才头衔，加之在软工三大顶会30余篇论文的发表记录，使其成为中国软件工程领域具有重要国际影响力的学者之一。

PKU-SEI 张路 教授