北京大学计算机科学技术系讲席教授

高可信软件技术教育部重点实验室(北京大学)副主任

YOSIA——谢涛

谢涛,北京大学计算机科学技术系讲席教授,高可信软件技术教育部重点实验室(北京大学)副主任,美国科学促进会(AAAS)会士,电气电子工程师学会(IEEE)会士,美国计算机协会(ACM)杰出科学家。曾获科学探索奖,NSFC海外杰出青年科学基金以及其延续资助,美国NSF Faculty CAREER Award,ACM SIGSOFT杰出服务奖,IEEE TCSE杰出服务奖等。担任CCF软件工程专委会副主任,中国计算机大会(CNCC 2020)程序委员会主席,软件工程旗舰国际会议ICSE 2021程序委员会共同主席,《软件测试、验证与可靠性(STVR)》Wiley期刊联合主编等。主要研究领域包括软件工程,系统软件,软件安全。