PKU-SEI 谢涛 讲席教授
报告生成时间：2026年8月20日
个人主页：谢涛
所属团队：北京大学计算机学院软件工程研究所 / 软件工程国家工程研究中心 / 高可信软件技术教育部重点实验室
一、学者基本信息
| 属性 | 内容 |
|---|---|
| 姓名 | 谢涛（Tao Xie） |
| 出生年份 | 1975年5月 |
| 籍贯 | 广西贺州 |
| 现任教职 | 北京大学讲席教授 |
| 院系职务 | 北京大学计算机学院软件科学与工程系主任 |
| 兼任职务 | 复旦大学先进计算系统研究院院长（双聘顶尖人才）；北京通明湖信息技术应用创新中心主任、理事长；上海开放计算系统研究院院长；上海开放处理器产业创新中心秘书长；北京开源芯片研究院首席科学家 |
| 国家级平台职务 | 国家高等学校学科创新引智基地负责人；软件工程国家工程研究中心首席科学家；高可信软件技术教育部重点实验室副主任 |
| 学术头衔 | 欧洲科学院外籍院士（2022）；ACM Fellow（2021）；IEEE Fellow（2018）；AAAS Fellow（2019）；CCF会士（2021）；中国电子学会会士（2024） |
| 研究领域 | 软件工程、操作系统、可信人工智能、RISC-V |
| 电子邮件 | taoxie@pku.edu.cn |
| 实验室 | ASE Lab（自动化软件工程实验室，2005年创办），2026年演化为跨北大、复旦的先进系统工程联合实验室（ASE Joint Lab） |
二、教育背景与职业履历
谢涛1975年出生于广西贺州大平乡。1992年以广西高考理科第三名的成绩被复旦大学计算机系录取，1997年获复旦大学计算机科学系学士学位。同年保送至北京大学计算机系攻读硕士研究生，师从梅宏教授（现中国科学院院士），并于2000年获硕士学位。在北大期间，谢涛加入杨芙清院士领导的团队，参与了国家重点攻关计划"青鸟工程"。2000年赴美，进入美国西雅图华盛顿大学（University of Washington at Seattle）计算机科学与工程系攻读博士学位，师从David Notkin教授（软件工程领域国际知名学者、ACM SIGSOFT大满贯首位得主），于2005年获博士学位。
博士毕业后，谢涛受聘为美国北卡罗莱纳州立大学（NCSU）计算机科学系助理教授（2005年），并于2010年提前一年晋升为终身副教授。在NCSU期间，他创办了自动化软件工程实验室（ASE Lab），开展了软件测试、代码搜索、软件解析学等方向的奠基性研究。2013年，谢涛受聘为美国伊利诺伊大学香槟分校（UIUC）计算机科学系终身副教授（UIUC计算机专业全美排名第五），2015年被UIUC工程学院评为Willett学者（该荣誉授予处于早期教授生涯的优秀学者，为UIUC计算机系史上第三位Willett学者）。2017年晋升为UIUC正教授。
2019年，谢涛正式回国，入职北京大学信息科学技术学院计算机系（现计算机学院），任讲席教授。回国后，他担任计算机学院软件科学与工程系主任、高可信软件技术教育部重点实验室副主任、国家高等学校学科创新引智基地负责人等职务，同时拓展至复旦大学先进计算系统研究院院长等多机构任职。近年来，其研究重心从传统软件工程扩展至操作系统（如星绽OS）、RISC-V生态、可信AI等领域，主持国家自然科学基金重大研究计划集成项目、区域创新发展联合基金集成项目、海外杰青及延续资助项目、国家外国专家项目（"111学科创新引智基地"）、国家实验室先导项目、北京市高精尖产业发展资金重大项目等，主持产出TileLang、星绽（Asterinas）等高影响力开源系统。
关于"国家海外杰青"的类别：谢涛获得的是国家自然科学基金委"海外及港澳学者合作研究基金"（原名"海外杰出青年科学基金"，即海外杰青），现统称"海外及港澳学者合作研究基金"，属于国家自然科学基金体系中的人才类项目，与"国家杰出青年科学基金"（含B类）在项目名称和资助渠道上有所区别。
三、学生培养情况
谢涛自2005年在NCSU开始独立指导博士生以来，培养了大量软件工程领域的优秀人才。其指导的博士生中有1人次获ACM SIGSOFT杰出博士论文奖，1人次获CCF软件工程专委博士学位论文激励计划提名，2人次获国家自然科学基金青年学生基础研究项目（博士研究生），1人次获中国科协青年科技人才培育工程博士生专项计划，2人次获中国电子学会-腾讯博士生科研激励计划。以下列出代表性学生：
1. 林永政（Wing Lam）（博士后/助理教授，UIUC博士毕业生）
林永政在UIUC计算机系攻读博士学位期间，由谢涛教授与Darko Marinov教授共同指导。其博士论文聚焦软件测试中的Flaky Test（不稳定性测试）问题，做出了开创性贡献，荣获ACM SIGSOFT杰出博士论文奖（Outstanding Doctoral Dissertation Award），该奖项每年全球仅一名获奖者。毕业后林永政继续在软件测试领域开展研究，与August Shi等学者保持密切合作，在ISSTA、ICSE、OOPSLA等顶级会议发表多篇论文。
2. Suresh Thummalapenta（NCSU博士毕业生，工业界）
Suresh Thummalapenta是谢涛在NCSU指导的博士生。其与谢涛合作的ASE 2007论文《PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web》在14年后荣获ASE 2021最有影响力论文奖（Most Influential Paper Award），谢涛也因此成为ASE创办35年来该奖项的首批华人获奖者。Thummalapenta毕业后进入工业界，从事软件工程相关技术的产业化工作。
3. 陈震鹏（清华大学软件学院助理教授，北京大学博士毕业生）
陈震鹏于2012年进入北京大学信息科学技术学院本科学习，2016年保送本校研究生，2018年硕转博，2021年获计算机软件与理论专业博士学位。其博士导师为梅宏院士，协助指导为刘譞哲研究员。谢涛作为北京大学软件工程团队的学术带头人之一，参与了陈震鹏的指导和培养。陈震鹏博士毕业后在英国伦敦大学学院（UCL）从事博士后研究（合作导师为英国皇家工程院院士Mark Harman教授），后任新加坡南洋理工大学研究员，2025年起任清华大学软件学院助理教授。其研究方向为智能化软件工程与可信人工智能，曾获WWW 2019最佳论文奖（中国学者首次）、CCF优秀博士学位论文（2022）、微软学者等荣誉，发表CCF-A类论文40余篇。
4. 冉德智（在读/近期毕业博士生，北京大学）
冉德智是谢涛在北京大学指导的博士生之一，曾获中国电子学会-腾讯博士生科研激励计划（混元大模型专项），并获国家奖学金。其研究方向聚焦产业级软件工程实践，曾在阿里巴巴大淘宝团队开展实习研究，探索学术界与产业界的结合。谢涛教授在多次公开场合提及冉德智作为投身产业实践、响应社会需求的青年榜样。
5. Darko Marinov的联合指导学生群体（UIUC，共同指导）
在UIUC期间，谢涛与Darko Marinov教授长期合作，共同指导了多名博士生，形成了以软件测试为核心的研究团队。该团队的研究成果涵盖回归测试优先级排序、Flaky Test检测、差分测试等方向，在ICSE、FSE、ISSTA、ASE等软件工程顶级会议发表大量论文。这一合作模式体现了谢涛注重联合指导、多元协作的学生培养理念。
6. 吴林东（北京大学博士毕业生）
吴林东是谢涛在北京大学指导的博士生，其博士学位论文荣获中国电子教育学会2022年度第六届"优秀博士学位论文优秀奖"。谢涛公众号文章中曾提及该获奖信息，表明其在北大的人才培养已产出系统性成果。
7. 其他在培与毕业学生
根据谢涛北大主页信息，其指导的博士生中有多人获得国家自然科学基金青年学生基础研究项目（博士研究生）和中国科协青年科技人才培育工程博士生专项计划资助，以及中国电子学会-腾讯博士生科研激励计划（混元大模型专项）。由于涉及在读学生隐私，此处不逐一列名。谢涛回国后招收的博士生研究方向涵盖智能化软件工程、AI代码生成评测（如CoderEval）、大模型驱动的软件工程、操作系统与RISC-V系统软件等前沿方向。
四、学术合作网络
4.1 实验室内部合作
谢涛在北京大学软件工程研究所内属于"可信软件工程研究组"，该组的学术带头人包括杨芙清院士、金芝教授、谢冰教授和谢涛教授，学术骨干包括张路教授、周明辉教授、李戈教授、赵俊峰研究员、熊英飞副教授、麻志毅副教授、赵海燕副教授、孙艳春副教授、张伟副教授、邹艳珍副教授等。谢涛与该团队成员存在多层面的合作关系：
- 与梅宏院士的合作：梅宏是谢涛的硕士导师，也是北京大学软件工程研究所前所长。谢涛回国后与梅宏在多个重大项目上保持紧密合作，包括国家自然科学基金重大研究计划集成项目。梅宏院士同时也是北京通明湖信息技术应用创新中心的指导者。
- 与金芝教授的合作：金芝教授是软件工程研究所的核心成员，研究方向包括智能化软件与需求工程。谢涛与金芝同属可信软件工程研究组，在学科建设和基地建设方面协同推进。
- 与谢冰教授的合作：谢冰教授自2012年起担任软件工程研究所所长，与谢涛在研究所的学科规划和人才培养上密切配合。
- 与熊英飞副教授的合作：熊英飞是软件工程研究所的青年学术骨干，研究方向涉及程序合成与软件工程，与谢涛在智能化软件工程方向存在研究交叉。
- 与刘譞哲研究员的合作：刘譞哲研究员是软件工程研究所成员，在陈震鹏博士培养中担任协助指导，与谢涛在学生培养和研究项目上有合作关系。
4.2 跨机构合作
谢涛的跨机构合作网络极为广泛，涵盖国内外多所高校和研究机构：
- 复旦大学：谢涛任复旦大学双聘顶尖人才、先进计算系统研究院院长，与复旦大学在RISC-V生态、系统软件等方向深度合作。2026年ASE Lab演化为跨北大、复旦的ASE Joint Lab。
- 南方科技大学：在星绽开源系统软件栈项目中，南方科技大学是联合发布单位之一。
- 中关村实验室：作为星绽项目的联合发起方，与谢涛在系统软件安全方向深度合作。
- 清华大学：谢涛的学生陈震鹏现任清华大学软件学院助理教授，形成了北大-清华在软件工程领域的人才纽带。
- 南京大学：在软件工程领域，谢涛与南京大学相关团队存在学术交流和合作（如可能与南京大学吕建院士团队在网构软件等方向的合作）。
- 美国UIUC：谢涛与UIUC的Darko Marinov教授长期合作指导博士生，在软件测试方向产出大量联合论文。即使在回国后，这一合作关系仍在延续。
- 美国NCSU：谢涛与NCSU的学术联系保持至今，其早期博士生多来自NCSU时期。
4.3 国际合作
谢涛在国际软件工程学术界拥有广泛的合作网络，是其成为全球第三位SIGSOFT大满贯得主的重要基础：
- 美国华盛顿大学：博士导师David Notkin教授（2013年SIGSOFT大满贯首位得主）的学术传承，谢涛与Notkin的"师徒大满贯"是全球软件工程界的佳话。Notkin教授于2013年去世后，谢涛承继了其学术脉络。
- 微软研究院（MSR）：谢涛与微软研究院有深度合作，共同奠定了"软件解析学"（Software Analytics）这一全新研究方向。与微软合作研发的Pex测试工具被集成至Visual Studio企业版（IntelliTest功能）。谢涛获微软研究院杰出合作者奖（全球32位获奖教授之一、3位华人得主之一）。
- 美国NIST（国家标准与技术研究院）：主导研发的ACPT安全策略测试工具被美国NIST公开发布，已被550多个用户下载，并被两家商业公司用作其软件产品的基础。
- 英国伦敦大学学院（UCL）：通过学生陈震鹏与UCL的Mark Harman教授（英国皇家工程院院士、Meta公司AI顾问）建立了学术联系。
- RISC-V国际基金会：谢涛担任RISC-V国际基金会人工智能与机器学习专委会（AI/ML SIG）主席，在全球RISC-V生态建设中发挥领导作用。
- 国际学术社区服务：谢涛曾任或现任ISSTA 2015程序委员会主席、ICSE 2021程序委员会共同主席、Tapia 2017/2018程序委员会主席和大会主席等，通过这些角色构建了广泛的国际学术合作网络。
五、业界合作关系深度分析
5.1 产业合作
谢涛长期致力于将学术研究转化为产业影响力，与多家国际和国内科技企业建立了深度合作关系：
- 微软（Microsoft）：谢涛与微软研究院的合作是其在产业界影响力最大的合作之一。与微软合作研发的Pex自动化测试工具，自2015年起被微软发布为Visual Studio企业版的主打测试功能IntelliTest，服务于全球数百万开发者。此外，谢涛还与微软亚洲研究院共同奠定了"软件解析学"这一全新研究领域。获得的微软相关奖项包括：微软研究院杰出合作者奖（全球32位获奖教授之一）、微软研究软件工程创新基础奖（SEIF Award）。
- 阿里巴巴/蚂蚁集团：谢涛与阿里巴巴合作研发了VTest测试工具，已部署用于淘宝、支付宝等亿万级用户应用的日常测试。同时主导发布了影响深远的微服务基准系统TrainTicket，用于微服务架构的研究与评估。在星绽（Asterinas）开源系统软件栈项目中，蚂蚁集团是核心联合发起方，蚂蚁集团副总裁兼首席技术安全官韦韬代表蚂蚁深度参与。
- 谷歌（Google）：谢涛获谷歌教授研究奖（Google Faculty Research Award），支持其在软件工程方向的研究。
- Facebook/Meta：谢涛获Facebook研究奖（Facebook Research Award），体现了其在社交软件工程方向的国际影响力。
- IBM：谢涛获IBM Jazz创新奖（IBM Jazz Innovation Award）和IBM教授奖（IBM Faculty Awards），体现了其早期在企业软件工程方向与IBM的合作。
- 英特尔（Intel）：在星绽开源社区中，英特尔公司是参与共建的产业伙伴之一。
- 腾讯：谢涛指导的博士生获中国电子学会-腾讯博士生科研激励计划（混元大模型专项），表明其团队与腾讯在大模型与软件工程交叉方向存在合作。
5.2 产学研协同与成果转化
谢涛在产学研协同方面展现出独特的前瞻性和系统性：
- 北京通明湖信息技术应用创新中心：谢涛担任该中心的主任、理事长，在北京市经济和信息化局及梅宏院士的指导下，主导布局"灵玑OS"项目，发布了国内首个开源开放AI智能体共性基础设施。该项目涵盖面向低成本存量系统适配复用的灵玑·织语（V2.0）能力引擎和灵玑·星绽（V2.0）框内核操作系统架构。北京经开区为此设立覆盖开源项目开发、捐赠与商业化三级激励机制，相关企业最高可获300万元支持。
- 开源系统产出：谢涛主持的项目产出TileLang（AI算子开发语言/编译器）和星绽（Asterinas，基于Rust的框内核操作系统）两个高影响力开源系统。星绽OS采用业界首创的"框内核"架构和Rust编程语言，支持x86和RISC-V架构，兼容Linux应用程序，目标推动Linux的"世代交替"。星绽开源社区聚集了中关村实验室、通明湖中心、蚂蚁集团、英特尔、北京大学、复旦大学、南方科技大学等产学研机构。
- 智能化软件工程产业应用：谢涛最早于2005年提出用机器学习提高软件质量的方法，是智能化软件工程（AI for SE）方向的先驱。其提出的软件开发智能化创建L1-L5等级划分在产业界引起广泛关注。研究团队还发布了CoderEval代码生成评测基准，推动AI代码生成模型的产业化落地。
- RISC-V生态建设：谢涛担任RISC-V+AI算力生态（RACE）委员会主席和RISC-V国际基金会AI/ML SIG主席，主持2024年RISC-V中国峰会（共同主席），在国产RISC-V生态建设中发挥关键作用。
六、重要奖项与学术兼职
重要奖项
| 年份 | 奖项名称 | 说明 |
|---|---|---|
| 2026 | ACM SIGSOFT杰出研究奖 | 表彰其在软件测试和软件解析学领域的杰出研究贡献，成为全球第三位SIGSOFT三大奖大满贯得主 |
| 2023 | ACM SIGSOFT有影响力教育工作者奖 | SIGSOFT三大奖项之二 |
| 2021 | ACM SIGSOFT杰出服务奖 | SIGSOFT三大奖项之三，全球首位同时获ACM SIGSOFT和IEEE TCSE杰出服务奖的学者 |
| 2021 | ASE最有影响力论文奖 | 首批华人得主，获奖论文为ASE 2007的PARSEWeb |
| 2020 | IEEE TCSE杰出服务奖 | IEEE软件工程领域年度四大奖项之一 |
| 2020 | 科学探索奖 | 软件工程领域 |
| 2020 | ICSE SEIP最有影响力产业论文奖 | 体现产业影响力 |
| 2018 | TSE年度最佳论文奖 | 软件工程顶级国际期刊 |
| — | 国家自然科学基金海外杰青及延续资助 | 海外及港澳学者合作研究基金 |
| — | 美国NSF CAREER Award | 美国国家自然科学基金青年职业奖 |
| — | 软件仓库挖掘奠基性贡献奖 | MSR Foundational Contribution Award |
| — | ACM China杰出学者 | — |
| — | 微软研究院杰出合作者奖 | 全球32位获奖教授之一 |
| — | 微软SEIF Award、Google Faculty Research Award、Facebook Research Award | 多项产业研究奖 |
| — | IBM Jazz Innovation Award、IBM Faculty Awards | 早期产业合作奖 |
学术兼职
| 类别 | 职务 | 任期 |
|---|---|---|
| 学术会议 | ICSE 2021程序委员会共同主席 | 2021 |
| 学术会议 | ISSTA 2015程序委员会主席 | 2015 |
| 学术会议 | CNCC 2020程序委员会主席 | 2020 |
| 学术会议 | Tapia 2017/2018程序委员会主席和大会主席 | 2017-2018 |
| 学术会议 | 2024 RISC-V中国峰会共同主席 | 2024 |
| 期刊 | 《软件测试、验证与可靠性》（STVR）联合主编 | 2019-2024 |
| 期刊 | CACM编委 | — |
| 期刊 | IEEE TSE编委 | — |
| 期刊 | ACM TOSEM编委 | — |
| 期刊 | JCST软件系统领域首席编委 | — |
| 学会 | CCF系统软件专委会主任 | 2024-2027 |
| 学会 | CCF软件工程专委副主任 | 2020-2023 |
| 学会 | CCF专委工作委员会副主任 | 2022-2024 |
| 学会 | CCF国际合作委员会副主任 | 2024-2026 |
| 学会 | RISC-V国际基金会AI/ML SIG主席 | — |
| 学会 | RISC-V+AI算力生态（RACE）委员会主席 | — |
| 学会 | ACM SIGSOFT执行委员会委员及历史联络员 | — |
| 学会 | 中国仿真学会自动驾驶汽车仿真测试专委副主任 | 2023至今 |
七、Connection圈层总结
第一圈层（核心学术谱系）：谢涛的学术传承脉络清晰而深厚。其硕士导师梅宏院士（北京大学）是中国软件工程领域的领军人物，博士导师David Notkin教授（华盛顿大学）是全球首位SIGSOFT大满贯得主。师徒二人均达成SIGSOFT大满贯，形成全球软件工程界罕见的"师徒大满贯"佳话。在北大软件工程研究所内部，谢涛与杨芙清院士、金芝教授、谢冰教授同属可信软件工程研究组的核心学术带头人，与熊英飞、刘譞哲、张路等学术骨干在研究和学生培养上紧密合作。
第二圈层（学生培养与学术后代）：谢涛自2005年起独立指导博士生，培养跨越NCSU、UIUC和北大三个阶段。其学生广泛分布于国际学术界和产业界，包括获ACM SIGSOFT杰出博士论文奖的林永政（UIUC时期）、获ASE最有影响力论文奖的Suresh Thummalapenta（NCSU时期）、入选CCF优博并现任清华大学助理教授的陈震鹏（北大时期）等。回国后培养的博士生在AI4SE、大模型代码生成、操作系统等方向持续产出高水平成果。与Darko Marinov教授的长期联合指导形成了UIUC软件测试学派的学术传承。
第三圈层（跨机构与产业生态）：谢涛的产业合作网络覆盖微软、阿里巴巴/蚂蚁集团、谷歌、Facebook、IBM、英特尔、腾讯等全球科技巨头，每一项合作都有明确的产业化成果（如Visual Studio IntelliTest、淘宝/支付宝VTest、TrainTicket微服务基准等）。回国后，他以北京通明湖信息技术应用创新中心、复旦大学先进计算系统研究院、北京开源芯片研究院等多重平台为枢纽，构建了跨北大-复旦-中关村实验室-蚂蚁集团-南方科技大学的产学研协同网络，产出TileLang和星绽等高影响力开源系统。
第四圈层（家族学术网络）：谢涛与胞兄谢源（Yuan Xie）共同构成了全球计算机界独特的"兄弟大满贯"佳话。谢源现任香港科技大学讲席教授（曾任加州大学圣塔芭芭拉分校教授），是计算机体系结构与芯片设计领域的权威专家，同样当选ACM、IEEE、AAAS三大国际学会Fellow。兄弟二人一"硬"一"软"（谢源专长硬件/芯片设计，谢涛专长软件/软件工程），在RISC-V生态建设中形成天然的软硬件协同互补。
第五圈层（国际学术社区领导力）：通过担任ICSE 2021程序委员会共同主席（该会议43届以来首位中国教育背景的华人主席）、ISSTA 2015主席、CCF系统软件专委会主任、RISC-V国际基金会AI/ML SIG主席等核心职务，谢涛在国际软件工程和系统软件学术社区中拥有重要的领导力和话语权，是连接中国与国际软件工程学术界的关键桥梁人物。