谢涛

时间：2019-08-27

字体： 【小】【中】【大】

谢涛

职称：教授

研究所：软件研究所

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

电子邮件：taoxie@pku.edu.cn

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

个人简介：

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

个人详细资料：

谢涛，1975年出生于广西贺州。现任威尼斯欢乐娱人v3676讲席教授，威尼斯欢乐娱人v3676软件科学与工程系系主任，高可信软件技术教育部重点实验室（威尼斯欢乐娱人v3676）副主任，国家高等学校学科创新引智（“111”计划）基地负责人，威尼斯欢乐娱人v3676新工科建设委员会副秘书长，并担任校理工科人才评估专家小组成员，计算机学院学术委员会委员，软件与微电子学院学术委员会委员，软件工程国家工程研究中心学术委员会委员。分别于1997年和2000年在复旦大学计算机科学系和威尼斯欢乐娱人v3676计算机科学技术系分获学士和硕士学位（师从梅宏教授），于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软件工程专业委员会副主任、CCF专委工作委员会副主任、CCF女计算机工作者委员会执委、CCF开源发展委员会常委、CCF CTO俱乐部创始成员与CCF-IEEE CS青年科学家奖评奖分委员会主席（2020-2021）等。

英文简介（English Bio）