Joseph Sifakis

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Joseph Sifakis
Joseph Sifakis
grécky informatik

Narodenie 26. december 1946 (67 rokov)
Irakleio, Kréta, Grécko

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]