约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日—)是一名希腊计算机科学家和他也有法国国籍[1] 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在模型检查(英语:Model checking)取得的杰出贡献而获得图灵奖。[2] 此条目翻译品质不佳。 (2021年8月7日) Quick Facts 约瑟夫·斯发基斯, 出生 ...约瑟夫·斯发基斯出生 (1946-12-26) 1946年12月26日(77岁) 希腊克里特大区伊拉克利翁国籍 希腊公民权希腊/法国母校国立雅典理工大学 格勒诺布尔-阿尔卑斯大学知名于模型检查(英语:Model checking)的研发奖项图灵奖(2007年)科学生涯研究领域计算机科学家机构CNRS Close 参照 [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 announcementRelated topics希腊语南歐語言基克拉泽斯群岛位于爱琴海的希腊群岛厄俄斯显示更多