近日，美国国家科学院公布了新增选的120名院士和24名外籍院士。其中，我校杰出访问教授Joseph Sifakis当选美国国家科学院外籍院士。

Joseph Sifakis是法国科学院院士、法国国家工程院院士、欧洲科学院院士，同时也是美国艺术与科学学院院士及美国国家工程院院士。他长期从事软件工程、嵌入式系统、形式化验证等领域的研究，取得了诸多原创性、开创性成果。他创立了模型检测理论与方法，并将其成功应用于工业界的实时系统安全性验证。2007年，Joseph Sifakis被美国计算机协会（ACM）授予图灵奖，以表彰其在模型检查理论和应用方面做出的卓越贡献。

Joseph Sifakis于2019年加入南科大，受聘为我校计算机科学与工程系杰出访问教授，同时担任斯发基斯可信自主系统研究院（深圳市诺奖实验室）院长。斯发基斯可信自主系统研究院是由Joseph Sifakis牵头组建的可信智能自主系统研究机构，研究领域覆盖计算智能、可信软件、自动驾驶、智慧城市和智慧医疗等重点前沿方向，开展新一代人工智能前沿技术研究，为培养后备科技人才、推进深圳产业升级、助力深圳建设中国特色社会主义先行示范区建设贡献力量。

相关链接：https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html