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 (70 rokov)
Irakleio, Kréta, Grécko
Odkazy
Webstránka imag.fr
Commons Spolupracuj na Commons 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.

Referencie[upraviť | upraviť zdroj]

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

Iné projekty[upraviť | upraviť zdroj]