约瑟夫·斯发基斯
近期热点
资料介绍
出生:1946年12月26日希腊克里特大区伊拉克利翁
国籍:希腊
公民权:希腊/法国
母校:国立雅典理工大学 格勒诺布尔-阿尔卑斯大学
知名于:模型检查（英语：Model checking）的研发
奖项:图灵奖（2007年）
科学生涯
研究领域:计算机科学家
机构:CNRS
约瑟夫·斯发基斯（英语：Joseph Sifakis，希腊语：Ιωσήφ Σηφάκης，1946年12月26日—）是一名希腊计算机科学家和他也有法国国籍 。2007年，他与爱德蒙·克拉克和艾伦·爱默生一起因在模型检查（英语：Model checking）取得的杰出贡献而获得图灵奖。