2019年11月22日，2019年中国科学院院士增选名单正式公布，共有20人新当选为中国科学院外籍院士，其中计算机科学专业共有3人。南方科技大学工学院计算机科学与工程系杰出访问教授Joseph Sifakis当选中国科学院外籍院士。

 Joseph Sifakis

Joseph Sifakis2019年加入南科大，他将在南科大启动“图灵班”培养计划，聚焦国家、广东省和深圳市的重大战略需求，以人工智能、计算机、大数据各方向为核心，与生物、电子、自动化等学科交叉，推动智能化科学技术与产业的发展，努力培养出更具超群的跨学科思维能力、科学领域的知识引领和创新未来的能力，工程领域的综合创新设计与实现能力等有潜力引领未来科学与工程的精英人才。

2019年11月1日，在2019年“深圳人才日”聘任颁奖仪式上，Joseph Sifakis依托南科大成立的斯发基斯可信自主系统研究院获得授牌。斯发基斯可信自主系统研究院是由Joseph Sifakis牵头组建的可信智能自主系统研究机构，研究领域覆盖计算智能、可信软件、自动驾驶、智慧城市和智慧医疗等重点前沿方向，将依托南科大计算机科学与工程系、深圳市计算智能重点实验室，开展新一代人工智能前沿技术研究，为培养后备科技人才、推进深圳产业升级、助力深圳建设中国特色社会主义先行示范区建设贡献力量。

Joseph Sifakis是法国科学院院士、法国国家工程院院士、欧洲科学院院士，同时也是美国艺术与科学学院院士及美国国家工程院院士。他长期从事严密系统工程、信息物理系统、形式化方法等相关领域研究，取得了许多原创性、开创性成果。Joseph Sifakis创立了模型检测理论与方法，并将其成功应用于工业界的实时系统安全性验证，于2007年获计算机领域最负盛名、最崇高的奖项“图灵奖”。

文字：劳湘雯

编辑：庞翠琼

资料来源：计算机科学与工程系