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