谢涛


undefined

谢涛

职称:教授

研究所:软件研究所

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

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

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


个人简介: 

    谢涛,北京大学讲席教授,高可信软件技术教育部重点实验室(北京大学)副主任,北京大学新工科建设委员会副秘书长。曾是美国伊利诺伊大学香槟分校(UIUC)计算机科学系正教授。当选国际计算机学会(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年出生于广西贺州。现任北京大学讲席教授,高可信软件技术教育部重点实验室(北京大学)副主任,北京大学新工科建设委员会副秘书长。分别于1997年和2000年在复旦大学计算机科学系和北京大学计算机科学技术系分获学士和硕士学位(师从梅宏教授),于2005年在美国西雅图华盛顿大学(University of Washington at Seattle)计算机科学与工程系获博士学位(师从David Notkin教授)。2005年博士毕业后受聘为美国北卡州立大学计算机科学系助理教授,并于2010年提前一年晋升为终身副教授;2013年受聘为美国伊利诺伊大学香槟分校(UIUC)计算机科学系(计算机专业全美排第五)终身副教授,并于2017年晋升为正教授。

      谢涛教授的主要研究领域包括软件工程,系统软件,软件安全,可信人工智能长期从事软件工程的研究,在软件测试、软件解析学、软件安全、软件自动化、智能化软件工程、可信人工智能等方面取得突出研究成果,曾获科学探索奖,国家自然科学基金委海外杰青及其延续资助,美国自然科学基金会职业发展奖(NSF CAREER Award),软件仓库挖掘奠基性贡献奖,软件工程顶级国际期刊TSE 2018年度最佳论文奖,软件工程顶级国际会议ASE 2021最有影响力论文奖首批华人得主)等。他曾共同指导的博士生中有一名获得ACM SIGSOFT杰出博士论文奖,有三名任美国高校教职后荣获美国自然科学基金会职业发展奖(NSF CAREER Award)。当选电气电子工程师学会会士(IEEE Fellow)(2018年),美国科学促进会会士(AAAS Fellow)(2019年),国际计算机学会(ACM)会士(2021年),中国计算机学会(CCF)会士(2021年)(是第二位同时获此四殊荣的学者。他当选三大国际顶级学会(ACM、IEEE、AAAS)Fellow的贡献citation为“For contributions to software testing and analytics”。做出了一系列对软件产业有高影响的研究工作,例如,和微软研究院合作研发的Pex测试工具自2015年起被微软发布为Visual Studio企业版的主打测试功能IntelliTest。曾获微软研究院杰出合作者奖(全球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)等。