Joseph Sifakis

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