近日,欧洲人文和自然科学院(Academia Europaea)公布了2022年新当选院士名单。精准特马资料网址校友谢涛教授当选欧洲科学院外籍院士。
谢涛教授曾于1992-1997年于复旦大学计算机学院就读本科,现任北京大学讲席教授,高可信软件技术教育部重点实验室(北京大学)副主任,北京大学新工科建设委员会副秘书长。当选国际计算机学会(ACM)会士、电气电子工程师学会(IEEE)会士、美国科学促进会(AAAS)会士、中国计算机学会(CCF)会士。曾获科学探索奖,国家自然科学基金委海外杰青及其延续资助,美国自然科学基金会职业发展奖(NSF CAREER Award),ACM软件工程领域(SIGSOFT)杰出服务奖,IEEE软件工程领域(TCSE)杰出服务奖,软件仓库挖掘奠基性贡献奖,软件工程顶级国际期刊TSE 2018年度最佳论文奖,软件工程顶级国际会议ASE 2021最有影响力论文奖等。
谢涛教授的主要研究领域包括软件工程、系统软件、软件安全、可信人工智能等。他做出了一系列对软件产业有高影响的研究工作,例如,和微软研究院合作研发的Pex测试工具自2015年起被微软发布为Visual Studio企业版的主打测试功能IntelliTest。曾获微软研究院杰出合作者奖(全球32位获奖教授之一、3位华人得主之一)、微软研究软件工程创新基础奖、谷歌教授研究奖、Facebook研究奖、IBM Jazz创新奖、IBM教授奖等。
欧洲人文和自然科学院(简称欧洲科学院)外文全称为Academia Europaea (The Academy of Europe),是国际上跨地域和学术领域最广泛、学术地位最高、影响最大的科学组织之一。欧洲科学院院士来自35个欧洲国家,主要从欧洲各个国家的科学院院士中选出,代表着欧洲人文和自然科学界最优秀的科学精英和学术权威,包括在人文科学、社会科学、物质科学、生命科学、数学、工程科学与医学领域的杰出欧洲科学家,或者是与欧洲有着长期紧密合作的科学家(当选为其外籍院士)。目前的欧洲科学院院士人数超过4,700人,其中有80位诺贝尔奖获得者。