谢 涛，北京大学计算机学院讲席教授，高可信软件技术教育部重点实验室（北京大学）副主任，北京大学信息技术高等研究院数据驱动软件开发实验室主任，北京 大学新工科建设委员会副秘书长。他是美国科学促进会（AAAS）会士，电气电子工程师学会（IEEE）会 士，美国计算机协会（ACM）杰出科学家，中国计算机学会（CCF）杰出会员。曾获科 学探索奖，国家自然科学基金委海外杰出青年科学基金以及其延续资助，美国NSF Faculty CAREER Award，ACM SIGSOFT杰出服务奖，IEEE计算机协会软件工程技术委员会（TCSE）杰出服务奖，ASE 2021最有影响力论文奖等。担任CCF软件工程专委会副主任，CCF-IEEE CS青年科学家奖评奖分委员会主席，中国计算机大会（CNCC 2020）程序委员会主席，软件工程旗舰国际会议ICSE 2021程序委员会共同主席，《软 件测试、验证与可靠性（STVR）》Wiley期 刊联合主编等。主要研究领域包括软件工程，系统软件，软件安全，可 信人工智能。

详 细介绍：

谢 涛教授分别于1997年 和2000年 在复旦大学计算机科学系和北京大学计算机科学技术系分获学士和硕士学位（师从梅宏教授），于2005年 在美国西雅图华盛顿大学计算机科学与工程系获博士学位（师从David Notkin教授）。曾担任美国北卡州立大学计算机科学系助理教授和终 身副教授 (2005-2013，2010 年提前一年晋升终 身副教授)，美 国伊利诺伊大学香槟分校（UIUC） 计算机科学系终身副教授（2013-2017） 和正教授（2017起）。 他现任北 京大学计算机学院讲席教授，高可信软件技术教育部重点实验室（北京大学）副主任，北京大学信息技术高等研究院数据驱动软件开发实验室主任，北京大学新 工科建设委员会副秘书长。

谢 涛教授长期从事软件工程的研究，在软件测试，软件解析学，软件安全，智能化软件工程，可信人工智能等方面取得突出的研究成果，曾获科 学探索奖，国 家自然科学基金委海外杰出青年科学基金以及其延续资助，美国NSF Faculty Career Award，ASE 2021最有影响力论文奖等。当选美国计算机协会杰出科学家（ACM Distinguished Scientist）（2015年），电气电子工程师学会会士（IEEE Fellow）（2018年），和美国科学促进会会士（AAAS Fellow）（2019年）。做出了一系列对软件产业有高影响的研究工作，曾获微软研究院杰出合作者奖（全球32位 获奖教授之一）、微软研究软件工程创新基础奖、谷歌教授研究奖、Facebook研 究奖、IBM Jazz创 新奖、IBM教 授奖等。

谢 涛教授对软件工程界做出杰出贡献和服务，获2021年度ACM SIGSOFT杰出服务奖（为 SIGSOFT年度三大奖项之一）、2020年度IEEE计算机协会软件工程技术委员会（TCSE）杰出服务奖 （为TCSE年度四大奖项之一）。担任软件工程旗 舰国 际会议ICSE 2021、ISSTA 2015的大会程序委员会（共同）主席、ACM多元化（Diversity）旗 舰国际会议 Tapia 2017/2018的程序委员会主席和大会主席、中 国计算机大会（CNCC 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-IEEE CS青年科学家奖评奖分委员会主席、CCF女计算机工作者委员会执委、CCF开源发展委员会常委、CCF CTO俱乐部创始成员等。