2007年图灵奖得主、中国科学院外籍院士、法国工程院院士、欧洲科学院院士、法国科学院院士、美国人文与科学院院士、美国国家工程院外籍院士

约瑟夫·希发基思（Joseph Sifakis），男，1946年12月出生于希腊，希腊和法国双重国籍，计算机科学家，中国科学院外籍院士，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文与科学院院士，美国国家工程院外籍院士，法国Verimag实验室荣誉科研主任。 约瑟夫·希发基思1969年获雅典技术大学电子工程学士学位，1974年获法国格勒诺布尔大学计算机科学博士学位。2007年获国际计算机界最高奖“图灵奖”。2008年当选法国工程院院士和欧洲科学院院士，2010年当选法国科学院院士，2015年当选美国人文和科学院院士，2017年当选美国工程院外籍院士。现任法国国家科学中心主任研究员。 希发基思教授的主要研究领域是模型检测及嵌入式系统设计与验证。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，成为分析、验证并发系统性质的最重要的技术，被Intel、IBM、微软等公司用于日常生产实践中。由于对模型检测的开创性贡献，他与Clarke教授、Emerson教授分享了2007年图灵奖。 希发基思教授也是欧洲嵌入式系统研究的先驱。嵌入式系统现广泛存在于航天、航空、汽车、火车、通信、医疗、武器等安全攸关的领域。