2021年12月27日，中国计算机学会（CCF）评选出9位2021年度CCF会士，北京大学计算机学院讲席教授谢涛成功入选，入选理由：在软件测试技术和软件解析研究方面取得了重要成果，并为CCF学术交流做出了重要贡献。

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

CCF从2008年起设立会士制度，旨在表彰在计算机领域取得卓越成就或为CCF做出突出贡献并有连续五年及以上会龄的CCF杰出会员。会士是会员在CCF的最高学术荣誉，目前，CCF会士人数150人，占专业会员人数的0.32%。

来源：https://www.ccf.org.cn/Focus/2022-01-07/752775.shtml

来源：https://www.ccf.org.cn/Membership/Individual_member/Honor/2021-07-21/671453.shtml