北京大学张路教授

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

一、学者基本信息

字段	信息
姓名	张路（Lu Zhang）
出生年份	1973年（待核实）
职称	教授、博士生导师
所属单位	北京大学计算机学院软件研究所；软件科学与工程系
实验室职务	高可信软件技术教育部重点实验室可信软件工程研究组学术骨干；高可信软件技术教育部重点实验室副主任（待核实）
学术头衔	教育部长江学者特聘教授；国家杰出青年科学基金获得者
国家级人才	国家杰出青年科学基金获得者；教育部长江学者特聘教授
其他任职	软件科学与工程系副系主任；计算机学院研究生工作委员会副组长（官网现行页面）；学术期刊及国际会议服务见第六节
邮箱	zhanglu@sei.pku.edu.cn
研究方向	软件工程、软件分析与测试、软件维护与演化、程序合成、程序理解；面向智能化软件开发的软件质量保障

北京大学计算机学院师资页确认张路现为软件研究所教授，研究领域为软件工程；软件科学与工程系页面列其为“教授、副系主任”。英文官方简介进一步确认其为长江学者特聘教授、国家杰出青年科学基金获得者，并将研究兴趣界定为软件维护与演化、软件测试与分析、程序合成和程序理解。官方主页系主页

二、教育背景与职业履历

张路的学术训练与北京大学软件工程学派紧密相连。公开官方英文简介确认：他于1995年在北京大学获得计算机科学学士学位，2000年获得博士学位；关于其博士导师为杨芙清教授的说法见于公开人物资料，尚缺少本次可直接访问的校方履历页佐证，故标为待核实。博士毕业后，他曾在英国Oxford Brookes University与University of Liverpool从事博士后研究；公开资料常将该段经历标为2000年9月至2003年1月，具体起止月份待核实。此后回到北京大学任教，形成了以软件测试、软件分析、维护演化和自动化开发为主线的长期研究布局。

时间线如下：

1995年：获北京大学计算机科学（公开资料亦称“计算机软件”）学士学位。
2000年：获北京大学计算机科学博士学位；师从杨芙清教授（待核实）。
2000年—2003年：在英国Oxford Brookes University、University of Liverpool开展博士后研究；该国际经历构成其后续软件测试与维护研究国际联系的早期节点。
2003年起：回到北京大学任教（具体入职月份待核实），在软件研究所持续从事教学科研与研究生培养。
现阶段：担任软件科学与工程系副系主任，并列入计算机学院软件工程方向博士指导教师名单；同时是可信软件工程研究组学术骨干。该研究组由杨芙清院士、金芝教授、谢冰教授、谢涛教授领衔，张路与周明辉、李戈、赵俊峰、熊英飞、郝丹等共同构成核心协作环境。实验室人员页招生导师页

其教学网络也显示出与软件研究所共同体的交叉：公开课程页列有其参与的《编译技术》《数据结构与算法B》及相关实验、《科学交流与写作》等课程。这种“基础课程—研究训练—工程问题”的连通结构，为其测试、程序分析和智能化软件工程研究提供了稳定的人才输入。课程页面

三、学生培养情况

北京大学软件工程研究所校友页按毕业年份列出学生姓名，并在姓名后标注导师。下列名单据该页整理；除有独立机构主页佐证者外，毕业后任职均明确保留“待核实”，不将校友页未载明的信息推断为既定去向。校友页

1. [郝浩]（上海交通大学教授，协同指导关系）

郝浩于2009年获北京大学博士学位，其上海交通大学官方主页明确说明：主导师为梅宏教授，张路与谢涛为协同指导教师。毕业后，他先后进入中国科学院软件研究所，2014年加入上海交通大学，现为该校智能软件与系统研究所教授。该个案体现张路在北大软件工程共同体内以联合指导参与学生培养、并将测试与程序分析研究延展至跨校学术网络的路径。上海交大主页

2. [李立立（Lili Mou）]（加拿大阿尔伯塔大学助理教授，博士生）

软件工程研究所校友页将Lili Mou列为2017届博士毕业生，导师为Lu Zhang。阿尔伯塔大学个人页确认他于2017年获北京大学电子工程与计算机科学学院博士学位，毕业后在滑铁卢大学从事博士后、在多伦多Adeptmind任研究科学家，现为阿尔伯塔大学计算机系助理教授、Amii Fellow及Canada CIFAR AI Chair。其研究覆盖深度学习、自然语言处理与程序语言处理，说明张路学生网络的一支已与智能化程序处理和北美AI研究生态连接。阿尔伯塔大学主页

3. [张凌霄（Lingxiao Zhang）]（博士毕业生，去向待核实）

校友页列张凌霄为2017届博士毕业生，导师为Lu Zhang。公开检索未获得足以排除同名并确认其当前单位的可靠个人主页，因此不对其去向作推断。作为与李立立同届的博士培养记录，他可被稳妥地纳入张路在软件研究所软件测试、程序理解和智能化方法方向的博士生谱系；其具体论文主题与现职需进一步依据论文作者主页或学位论文库补充。

4. [张杰（Jie Zhang）]（博士毕业生，去向待核实）

校友页将Jie Zhang列为2018届博士毕业生、导师为Lu Zhang。由于“Jie Zhang/张杰”为高重名姓名，检索到的北京大学同名教师从事存储系统与计算机体系结构，无法证明与此校友为同一人，故本报告不采纳该任职信息。可确认的事实仅为：其2018年从北大软件工程研究所博士毕业，并处于张路直接指导的学生网络中。

5. [李翔（Xiang Li）]（博士毕业生，去向待核实）

校友页列李翔为2018届博士毕业生，导师为Lu Zhang。其英文姓名同样存在高重名风险，当前公开检索未找到可一一对应的机构履历，因而不对当前职位、研究方向或雇主作事实陈述。该记录与同届张杰共同反映张路在2018年前后持续输出博士层次人才；去向待核实不影响导师—毕业生关系的确认。

6. [林泽琦（Zeqi Lin）]（Microsoft GenAI研究人员，博士生）

校友页将Zeqi Lin列为2019届博士毕业生，导师为Lu Zhang。微软研究院官方页面进一步确认其2019年于北京大学软件工程研究所获博士学位，由谢冰与张路共同指导；他2019年加入Microsoft Research Asia（北京），2024年转至Microsoft GenAI（Redmond）。这是张路学生网络中有明确产业研究去向的节点，并将北大软件工程训练直接连接到微软的生成式AI研发体系。微软研究院主页

7. [高青（Qing Gao）]（博士毕业生，去向待核实）

校友页列高青为2016届博士毕业生、导师为Lu Zhang。北大高可信软件技术教育部重点实验室2015年成果页可确认其与熊英飞、张路、谢冰、梅宏等共同发表C程序内存泄漏修复与崩溃缺陷修复研究，分别见于ICSE 2015与ASE 2015。这一共同署名显示其培养阶段直接处于张路主导/参与的软件质量保障协作网络。因未取得可靠的同名消歧履历，毕业后去向标为待核实。2015成果页

8. [李俊（Jun Li）]（博士毕业生，去向待核实）

校友页将Jun Li列为2015届博士毕业生，导师为Lu Zhang。受“Jun Li/李俊”重名影响，公开检索没有返回可验证的个人履历，故不编造其职位或雇主。该毕业记录至少显示张路自2015年及以前已稳定培养博士生；与之后2016—2019届校友记录相连，可观察到其连续的博士培养序列。

此外，张雅坤为计算机学院2021级博士生，公开学院毕业生报道明确其导师为张路、郝丹协助指导；她以移动应用功能测试自动化为切入，成果获华为内部跟踪并应用于微软产品。报道未在本次可访问内容中给出其准确毕业年度与最终去向，因此不将其计入上述“已毕业”名单，但她是观察张路当前学生培养与产业应用耦合的重要在读/近期毕业节点（具体状态待核实）。

四、学术合作网络

4.1 实验室内部合作

张路最核心的合作圈位于北大高可信软件技术教育部重点实验室的可信软件工程研究组。实验室官网将杨芙清院士列为该组学术带头人，金芝、谢冰、谢涛为领衔教授；张路与周明辉、李戈、赵俊峰、熊英飞、郝丹、赵海燕、孙艳春、张伟、邹艳珍等共同列为学术骨干。该组织位置表明，张路不是孤立的测试研究者，而处于“可信软件工程—软件质量—软件智能化”协同集群中。人员队伍

论文合作进一步刻画了这一关系。公开文献记录显示，张路与谢涛、熊英飞、郝丹、肖旭生合作发表“Cooperative Software Testing and Analysis: Advances and Challenges”（2014），主题是以工具—人、工具—工具协同提升软件测试与分析能力；与梅宏、谢涛、郝浩等在测试用例优先级、API使用模式挖掘、故障定位等方向合作。这说明其内部网络既包含学术传承关系（杨芙清—北大软件工程），也包含围绕具体工具、测试优化和程序分析问题的项目型协作。合作论文条目

4.2 跨机构合作

跨机构网络至少有三条可辨识路径。第一，郝浩由梅宏主导、张路与谢涛协同指导，毕业后进入中科院软件所并转至上海交通大学，构成北大—中科院软件所—上海交大的学术人才连接。第二，林泽琦从北大软件工程研究所进入微软研究院亚洲研究院与Microsoft GenAI，构成北大—国际工业研究机构的人才流动。第三，张雅坤的移动应用测试工作获得华为内部报道/跟踪并应用于微软产品，显示研究问题与大型软件企业质量保障场景的可迁移性。

需要区分的是：软件工程研究所官网列出的“华为、神州数码、金蝶中间件、中创软件、IBM Research China、微软亚洲研究院、Avaya Lab”等，是研究所层面的合作伙伴，并不能自动等同于张路对每一家企业均有直接项目合同或共同研发关系。张路个人直接牵头的企业项目、经费规模及合作年份，在公开可访资料中未能充分确认，均待核实。研究所概览

4.3 国际合作

张路的国际合作网络有两个层次：其一是职业经历层面的英国博士后阶段（Oxford Brookes University、University of Liverpool）；其二是研究共同体与学生流动层面的国际链接。官方简介显示他长期服务于FSE、OOPSLA、ISSTA、ASE等国际会议程序委员会，并担任国际期刊《Software Testing, Verification and Reliability》编委，说明其学术服务嵌入软件工程国际同行评议网络。

研究所层面公开列有与MIT、UC Berkeley、UIUC、Yale、Ohio State、东京大学、Waterloo、悉尼科技大学、Queen’s University、Westminster等机构的合作，并称每年约30—40名师生出访参与国际会议及技术合作。这是张路所在组织可利用的国际平台，不宜未经项目或共同论文证据而全部归为其个人直接合作。学生层面，李立立在加拿大阿尔伯塔大学任教、林泽琦在微软Redmond工作，提供了较明确的国际节点。

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

5.1 产业合作：从测试优化到可部署的软件质量保障

张路的研究方向天然面向企业软件质量问题：软件测试与分析、维护演化、程序合成和理解均对应缺陷发现、回归测试、修复与持续演化等工程环节。其团队/学生成果中可公开确认的产业信号包括：张雅坤围绕“移动应用功能测试自动化”开展研究，报道表明相关成果受到华为内部报道和跟踪，并已应用于微软产品；林泽琦毕业后进入微软研究院亚洲研究院并转至Microsoft GenAI。两者分别代表“研究成果进入企业场景”与“人才进入企业研究体系”两种连接机制。

对于华为合作，应作审慎表述：可确认的是学生成果获得华为内部跟踪，而非已确认张路本人主持华为横向项目或某一工具已在华为全面部署。对于“军工合作”，本次公开检索未找到能将张路个人与具体军工单位、项目名称或成果转化直接对应的可靠证据，因此不予编造。Trustie平台由多校、科研机构和企业联合发起，包含北京大学，并服务软件协同开发、资源共享与可信评估；但公开资料不足以证明张路在该平台中的具体职务或代码/项目贡献，相关参与程度应标作待核实。Trustie教学案例介绍

从转化逻辑看，张路网络的优势不是单一工具商业化品牌，而是“方法—论文—学生—企业研发场景”的多层转移：测试优化和程序分析方法由研究组共同沉淀，博士生在工业问题中验证，再通过微软、华为等企业的研究/产品环境吸收。这种路径有利于保持基础研究与真实工程问题的双向反馈，但也意味着公开材料不足时不能把实验性应用夸大为规模化商业产品。

5.2 创业孵化：以人才流动和开放生态为主，直接创业证据有限

当前公开资料没有显示张路本人创办企业，亦未能确认其学生中存在由他直接孵化、且可明确对应的软件测试工具公司的创业案例。因此，本报告不将“软件测试工具产业化”表述为其个人创业成果。更稳妥的判断是：其所在软件工程研究所具有开放协作与产业接口条件，研究所官网列举多家IT企业伙伴，并通过实习、研究训练和国际交流形成学生流动；Trustie等开源协同开发平台又为教学与原型实践提供了外部生态。

可观察的“孵化”更多体现为人才与方法孵化：林泽琦进入微软研究体系，李立立转入加拿大高校AI研究，张雅坤的工作面向移动应用测试的工业需求。若要进一步评估创业孵化深度，需补充企查类工商信息、专利实施许可、企业新闻稿及项目验收材料；在未获得这些证据前，均为待核实。

六、重要奖项与学术兼职

类别	事项	说明
国家级人才	国家杰出青年科学基金获得者	北京大学官方英文主页明确列示。
国家级人才	教育部长江学者特聘教授	北京大学官方英文主页明确列示。
国际期刊	《Software Testing, Verification and Reliability》编委	官方英文主页明确列示为现任服务。
国际期刊	《Journal of Software Maintenance and Evolution: Research and Practice》编委	官方英文主页表述为曾任。
国际会议	SCAM 2008程序共同主席	官方英文主页明确列示。
国际会议	ICSM 2017程序共同主席	官方英文主页明确列示。
学术服务	FSE、OOPSLA、ISSTA、ASE等会议程序委员会	官方英文主页明确列示曾服务于多个会议PC。
校内治理	软件科学与工程系副系主任	系主页明确列示。
校内治理	计算机学院研究生工作委员会副组长	学院委员会页面明确列示；任期以该页面为准。
科技奖励	国家科技进步二等奖、国家自然科学二等奖等	公开百科性资料有此说法，但本次未取得权威获奖项目页核验，具体年份、项目及排序均待核实。

七、Connection圈层总结

第一圈层：学术传承与核心共同体。 上游为杨芙清院士及北大软件工程学派；横向核心是可信软件工程研究组中的谢冰、谢涛、金芝、周明辉、李戈、赵俊峰、熊英飞、郝丹等。张路的研究身份由可信软件工程共同体与测试/分析技术路线共同塑造。
第二圈层：学生与联合培养网络。 已可从校友页确认的直接博士生包括李俊、高青、李立立、张凌霄、张杰、李翔、林泽琦等；郝浩是有明确官方佐证的协同指导学生。该层既输出至高校（阿尔伯塔大学、上海交通大学），也输出至企业研究机构（微软）。
第三圈层：跨机构学术合作。 北大—中科院软件所—上海交通大学的人才流动，以郝浩为清晰节点；与谢涛、梅宏等围绕测试优先级、故障定位、API模式挖掘和协同测试分析形成稳定论文合作。英国博士后经历与国际会议、期刊服务提供了国际学术通道。
第四圈层：产业与开源生态。 华为、微软是目前有公开线索的应用/人才连接节点；软件工程研究所层面的华为、IBM Research China、微软亚洲研究院等伙伴关系扩大了环境边界。Trustie与软件工程案例教学反映了协同开发、开源实践和人才训练的生态接口，但张路的个人具体贡献及军工合作均待核实。
网络结构判断。 该网络呈现“北大可信软件工程学派为中心、测试与分析方法为主轴、联合培养和学生流动为桥梁、企业质量保障场景为外延”的结构。其强项在于长期稳定的研究组协作与人才输送；其产业化、创业化强度则应基于后续可核验的合同、专利、产品部署或企业公告再作量化判断。

北京大学 张路 教授