谢涛-北京大学计算机学院

师资队伍

软件研究所

谢涛

职称：教授

研究所：软件研究所

研究领域：软件工程，系统软件，RISC-V基础软件，软件安全，可信人工智能

电子邮件：taoxiepku.edu.cn

个人主页：https://taoxiease.github.io/

个人简介：

谢涛，北京大学讲席教授，复旦大学双聘顶尖人才，北京大学计算机学院软件科学与工程系主任，北京开源芯片研究院首席科学家，高可信软件技术教育部重点实验室副主任，国家高等学校学科创新引智基地负责人。曾任美国伊利诺伊大学香槟分校（UIUC）计算机系正教授。当选欧洲科学院外籍院士、国际计算机学会（ACM）会士、电气电子工程师学会（IEEE）会士、美国科学促进会（AAAS）会士、中国计算机学会（CCF）会士。曾获科学探索奖，海外杰出青年科学基金，ACM China杰出学者，美国国家自然科学基金青年职业奖，ACM软件工程领域（SIGSOFT）三大国际奖项中的两项（有影响力教育工作者奖、杰出服务奖），IEEE软件工程领域（TCSE）杰出服务奖，软件仓库挖掘奠基性贡献奖，软件工程顶级国际会议ASE 2021最有影响力论文奖等。担任中国计算机学会系统软件专委会主任，RISC-V+AI算力生态（RACE）委员会主席，RISC-V国际基金会人工智能与机器学习专委会（AI/ML SIG）主席，《软件测试、验证与可靠性（STVR）》Wiley期刊联合主编，2020年中国计算机大会程序委员会主席，软件工程顶级国际会议ICSE 2021程序委员会共同主席，2024年RISC-V中国峰会大会共同主席等。主要研究领域包括软件工程，系统软件，RISC-V基础软件，软件安全，可信人工智能。

个人详细资料：

谢涛，1975年出生于广西贺州。现任北京大学讲席教授，复旦大学双聘顶尖人才，北京大学计算机学院软件科学与工程系主任，北京开源芯片研究院首席科学家，高可信软件技术教育部重点实验室副主任，国家高等学校学科创新引智基地负责人，中国科协海智计划特聘专家，北京大学新工科建设委员会副秘书长，并担任校理工科人才评估专家小组成员，计算机学院学术委员会委员，软件与微电子学院学术委员会委员，软件工程国家工程研究中心学术委员会委员。分别于1997年和2000年在复旦大学计算机系和北京大学计算机系分获学士和硕士学位（师从梅宏教授），于2005年在美国西雅图华盛顿大学（University of Washington at Seattle）计算机系获博士学位（师从David Notkin教授）。2005年博士毕业后受聘为美国北卡州立大学计算机系助理教授，并于2010年提前一年晋升为终身副教授；2013年受聘为美国伊利诺伊大学香槟分校（UIUC）计算机系（计算机专业全美排第五）终身副教授，并于2017年晋升为正教授。2015年被UIUC工程学院评为Willett学者（此荣誉授予处于比较早期教授生涯的优秀学者；2015年之前UIUC计算机系史上只有2位Willett学者）。他于2005年创办自动化软件工程实验室（简称ASE Lab），致力于成为软件工具领域的国际学术前沿引领者，长期从事自动化、智能化软件工具的技术创新，而近年来同时致力于基础软件的技术创新和人才培养。

谢涛教授是软件科学与工程领域国际知名学者，主要研究领域包括软件工程，系统软件，RISC-V基础软件，软件安全，可信人工智能。长期从事软件科学与工程的研究，在软件测试、软件解析学、软件安全、软件自动化、智能化软件工程、可信人工智能等方面取得突出研究成果，曾获科学探索奖，国家自然科学基金委海外杰出青年科学基金及其延续资助，ACM China杰出学者，美国国家自然科学基金青年职业奖（NSF CAREER Award），软件仓库挖掘奠基性贡献奖，软件工程顶级国际期刊TSE 2018年度最佳论文奖，软件工程顶级国际会议ASE 2021最有影响力论文奖（首批华人得主）等。他指导的博士生中有一名获得ACM SIGSOFT杰出博士论文奖，有一名获得首批国家自然科学基金青年学生基础研究项目（博士研究生）。他当选电气电子工程师学会会士（IEEE Fellow）（2018年），美国科学促进会会士（AAAS Fellow）（2019年），国际计算机学会（ACM）会士（2021年），中国计算机学会（CCF）会士（2021年）（是第二位同时获此四殊荣的学者），和欧洲科学院（Academia Europaea）外籍院士（2022）。他当选三大国际顶级学会（ACM、IEEE、AAAS）Fellow的贡献citation为“For contributions to software testing and analytics”。做出了一系列对软件产业有高影响的研究工作，例如，和微软研究院合作研发的Pex测试工具自2015年起被微软发布为Visual Studio企业版的主打测试功能IntelliTest；主导研发的ACPT安全策略测试工具被美国国家标准局（NIST）公开发布，ACPT已被550多个用户下载（截至2019年），并被两家商业公司用作其软件产品的基础。曾获微软研究院杰出合作者奖（全球32位获奖教授之一、3位华人得主之一）、微软研究软件工程创新基础奖、谷歌教授研究奖、Facebook研究奖、IBM Jazz创新奖、IBM教授奖等。

谢涛教授对软件科学与工程界做出杰出贡献和服务，获ACM软件工程领域（SIGSOFT）三大国际奖项中的两项（2023年度有影响力教育工作者奖、2021年度杰出服务奖），以及2020年度IEEE软件工程领域（TCSE）杰出服务奖（为TCSE年度四大奖项之一），是全球唯一同时获得这两个杰出服务国际奖项的学者。他担任软件工程顶级国际会议ICSE 2021、ISSTA 2015的大会程序委员会（共同）主席、ACM多元化（Diversity）旗舰国际会议 Tapia 2017/2018的程序委员会主席和大会主席、2020年中国计算机大会程序委员会主席。担任《软件测试、验证与可靠性（STVR）》Wiley期刊联合主编，以及ACM旗舰出版物《美国计算机协会通讯（CACM）》、《IEEE Transactions on Software Engineering （TSE）》、《ACM Transactions on Software Engineering and Methodology (TOSEM)》等期刊的编委，和《Journal of Computer Science and Technology （JCST）》的软件系统领域首席编委（Leading Editor）。担任（或曾经担任）RISC-V+AI算力生态（RACE）委员会主席、RISC-V国际基金会人工智能与机器学习专委会（AI/ML SIG）主席、ACM SIGSOFT执行委员会委员及其历史联络员、ACM 历史委员会委员、北美计算机华人学者协会软件工程专业委员会联合主席、CCF系统软件专委会主任（2024-2027）、CCF软件工程专业委员会副主任（2020-2023）、中国仿真学会自动驾驶汽车仿真测试专业委员会副主任（2023至今），CCF专委工作委员会副主任（2022-2024）、CCF国际合作委员会副主任（2024-2026）、CCF女计算机工作者委员会执委、CCF开源发展委员会常委、CCF CTO俱乐部创始成员与CCF-IEEE CS青年科学家奖评奖分委员会主席（2020-2021）等。他还担任先进计算推进工作组专家咨询委员会委员、天津市生成式通用智能专家咨询委员会委员等。