Joseph Sifakis (; * 26. december 1946"Joseph Sifakis." Encyclopædia Britannica. 2010. Encyclopædia Britannica Online. 20 Jan. 2010., Irakleio, Kréta, Grécko) je grécky informatik v súčasnosti žijúci vo Francúzsku. V roku 2007 dostal spolu s Edmundom Clarkeom a Ernestom Allenom Emersonom Turingovu cenu za prínos v oblasti vývoja metódy overovania modelov (model checking). Zaoberá sa tiež vnorenými systémami.
Referencie
Iné projekty
Kategória:Držitelia Turingovej ceny Kategória:Grécki informatici Kategória:Francúzski informatici Kategória:Francúzske osobnosti gréckeho pôvodu