约瑟夫·斯发基斯

约瑟夫·斯发基斯
出生	(1946-12-26) 1946年12月26日（78歲）  希腊克里特大區伊拉克利翁
国籍	希腊
公民权	希腊/法国
母校	国立雅典理工大学 格勒诺布尔-阿尔卑斯大学
知名于	模型檢查（英语：Model checking）的研发
奖项	图灵奖（2007年）
科学生涯
研究领域	计算机科学家
机构	CNRS

约瑟夫·斯发基斯（英語：Joseph Sifakis，希臘語：Ιωσήφ Σηφάκης，1946年12月26日—）是一名希腊计算机科学家和他也有法国国籍^[1] 。2007年，他与爱德蒙·克拉克和艾伦·爱默生一起因在模型檢查（英语：Model checking）取得的杰出贡献而获得图灵奖。^[2]

参照

1. Aperçu historique de l’immigration grecque à Grenoble （页面存档备份，存于互联网档案馆）, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6
2. ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04 [2013-12-22]. （原始内容存档于2008-05-09）. 

外部链接

• 维基共享资源上的相關多媒體資源：约瑟夫·斯发基斯
• Personal homepage （页面存档备份，存于互联网档案馆）
• Turing Award announcement