
斯发基斯可信自主系统研究院院长
杰出访问教授
Joseph Sifakis
Joseph Sifakis 院士现任斯发基斯可信自主系统研究院院长、南方科技大学计算机科学与工程系杰出访问教授、计算机科学与工程系图灵班班主任。他主要研究领域是模型检测及嵌入式系统设计与验证,是自主系统领域专家,世界安全计算机系统发展重要贡献者,创立了在嵌入式系统里具有领先地位的Verimag实验室。2007年被授予计算机界最高奖“图灵奖”。他是中国科学院外籍院士、法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学院院士、美国国家工程院院士、美国国家科学院外籍院士。