Joseph Sifakis

Joseph Sifakis (; * 26. december 1946, 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 

Držitelia Turingovej ceny
Grécki informatici
Francúzski informatici
Francúzske osobnosti gréckeho pôvodu