Joseph Sifakis

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Joseph Sifakis
grécky informatik
grécky informatik
Narodenie 26. december 1946 (69 rokov)
Irakleio, Kréta, Grécko
Odkazy
Webstránka imag.fr
Commons Spolupracuj na Commons Joseph Sifakis

Joseph Sifakis (po grécky Ιωσήφ Σηφάκης - 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]

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

Iné projekty[upraviť | upraviť zdroj]