谢涛


undefined

谢涛

职称:教授

研究所:软件研究所

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

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

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


个人简介: 

    谢涛,北京大学讲席教授,高可信软件技术教育部重点实验室(北京大学)副主任,国家高等学校学科创新引智(“111计划)基地负责人,北京大学新工科建设委员会副秘书长。曾任美国伊利诺伊大学香槟分校(UIUC)计算机科学系正教授,2015年被UIUC工程学院评为Willett学者(此荣誉授予处于比较早期教授生涯的优秀学者;2015年之前UIUC计算机科学系史上只有2 Willett学者)。当选欧洲科学院外籍院士、国际计算机学会(ACM)会士、电气电子工程师学会(IEEE)会士、美国科学促进会(AAAS)会士、中国计算机学会(CCF)会士。曾获科学探索奖,国家自然科学基金委海外杰青及其延续资助,美国自然科学基金会职业发展奖(NSF CAREER Award),ACM软件工程领域(SIGSOFT)杰出服务奖,IEEE软件工程领域(TCSE)杰出服务奖,软件仓库挖掘奠基性贡献奖,软件工程顶级国际期刊TSE 2018年度最佳论文奖,软件工程顶级国际会议ASE 2021最有影响力论文奖等。担任CCF软件工程专委会副主任,CCF-IEEE CS青年科学家奖评奖分委员会主席(2020-2021),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教授奖等。

      谢涛教授对软件科学与工程界做出杰出贡献和服务,获2021年度ACM软件工程领域(SIGSOFT)杰出服务奖(为SIGSOFT年度三大奖项之一)和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)