Joseph Sifakis

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
Joseph Sifakis
grécky informatik
grécky informatik
Narodenie26. december 1946 (71 rokov)
Irakleio, Kréta, Grécko
Odkazy
Webstránkaimag.fr
CommonsSpolupracuj 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]