ジョセフ・シファキス
ジョセフ・シファキス(Joseph Sifakis、希: Ιωσήφ Σηφάκης、1946年12月26日 - )は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。