Joseph Sifakis
Vzhled
Joseph Sifakis | |
grécky informatik | |
Narodenie | 26. december 1946 (77 rokov) Irakleio, Kréta, Grécko |
---|---|
Odkazy | |
Webstránka | imag.fr |
Commons | |
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.
Referencie
[upraviť | upraviť zdroj]- ↑ "Joseph Sifakis." Encyclopædia Britannica. 2010. Encyclopædia Britannica Online. 20 Jan. 2010.
Iné projekty
[upraviť | upraviť zdroj]Commons ponúka multimediálne súbory na tému Joseph Sifakis