約瑟夫·斯發基斯

約瑟夫·斯發基斯（英語：Joseph Sifakis，希臘語：Ιωσήφ Σηφάκης，1946年12月26日—）是一名希臘計算機科學家和他也有法國國籍^[1]。2007年，他與愛德蒙·克拉克和艾倫·愛默生一起因在模型檢查（英語：Model checking）取得的傑出貢獻而獲得圖靈獎。^[2]

約瑟夫·斯發基斯
出生	(1946-12-26) 1946年12月26日（78歲）  希臘克里特大區伊拉克利翁
國籍	希臘
公民權	希臘/法國
母校	國立雅典理工大學 格勒諾布爾-阿爾卑斯大學
知名於	模型檢查（英語：Model checking）的研發
獎項	圖靈獎（2007年）
科學生涯
研究領域	計算機科學家
機構	CNRS