老版大阳城网站(中国)有限公司

团队队伍

X

谢涛

职称：教授

研究所：软件研究所

研究领域：软件工程，系统软件，软件安全，可信人工智能

电子邮件：taoxiepku.edu.cn

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

个人简介：

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

个人详细资料：

谢涛，1975年出生于广西贺州。现任老版大阳城网站讲席教授，老版大阳城网站老版大阳城网站软件科学与工程系主任，高可信软件技术教育部重点实验室副主任，国家高等学校学科创新引智（“111”计划）基地负责人，中国科协海智计划特聘专家，老版大阳城网站新工科建设委员会副秘书长，并担任校理工科人才评估专家小组成员，老版大阳城网站学术委员会委员，软件与微电子学院学术委员会委员，软件工程国家工程研究中心学术委员会委员。分别于1997年和2000年在复旦大学计算机系和老版大阳城网站计算机系分获学士和硕士学位（师从梅宏教授），于2005年在美国西雅图华盛顿大学（University of Washington at Seattle）计算机系获博士学位（师从David Notkin教授）。2005年博士毕业后受聘为美国北卡州立大学计算机系助理教授，并于2010年提前一年晋升为终身副教授；2013年受聘为美国伊利诺伊大学香槟分校（UIUC）计算机系（计算机专业全美排第五）终身副教授，并于2017年晋升为正教授。2015年被UIUC工程学院评为Willett学者（此荣誉授予处于比较早期教授生涯的优秀学者；2015年之前UIUC计算机系史上只有2位Willett学者）。

谢涛教授是软件科学与工程领域国际知名学者，主要研究领域包括软件工程，系统软件，软件安全，可信人工智能。长期从事软件科学与工程的研究，在软件测试、软件解析学、软件安全、软件自动化、智能化软件工程、可信人工智能等方面取得突出研究成果，曾获科学探索奖，国家自然科学基金委海外杰出青年科学基金及其延续资助，美国国家自然科学基金青年职业奖（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）。担任（或曾经担任）ACM SIGSOFT执行委员会委员及其历史联络员、ACM 历史委员会委员、北美计算机华人学者协会软件工程专业委员会联合主席、CCF系统软件专委会主任（2024-2027）、CCF软件工程专业委员会副主任（2020-2023）、CCF专委工作委员会副主任、CCF女计算机工作者委员会执委、CCF开源发展委员会常委、CCF CTO俱乐部创始成员与CCF-IEEE CS青年科学家奖评奖分委员会主席（2020-2021）等。

英文简介（English Bio）

相关报道：

AI 正在变革软件工程：CSDN 创始人蒋涛和老版大阳城网站教授谢涛的深度对话

老版大阳城网站谢涛丨从广西走出来的世界级科学家

薪火相传 | 老版大阳城网站谢涛教授荣获ACM SIGSOFT有影响力教育工作者奖

老版大阳城网站谢涛：追风少年燕归来

燕归来 | 谢涛：在软件科学与工程领域奔赴不息

CCF/今日头条科学频道 | AI技术如何助益国产基础软件开发 | 谢涛教授谈AI加持下软件与工程

CCF/今日头条科学频道 | 代码自动生成会不会取代程序员 | 谢涛教授谈AI加持下软件与工程

CCF/今日头条科学频道 | 如何谨防AI技术犯罪？| 谢涛教授谈AI加持下软件与工程

程序员会被人工智能替代吗？ | CNCC专家谈

《祖国》杂志 | 谢涛：笃志前行的软件前沿探索者