Joseph Sifakis

Joseph Sifakis (gr. Ιωσήφ Σηφάκης - Iosif Sifakis; * 26. december 1946[1], 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.

Joseph Sifakis
grécky informatik
grécky informatik
Narodenie26. december 1946 (74 rokov)
Irakleio, Kréta, Grécko
Odkazy
Webstránkaimag.fr
CommonsSpolupracuj na Commons Joseph Sifakis

ReferencieUpraviť

  1. "Joseph Sifakis." Encyclopædia Britannica. 2010. Encyclopædia Britannica Online. 20 Jan. 2010.

Iné projektyUpraviť