Joseph Sifakis
| Joseph Sifakis | |
 grécky informatik | |
| Narodenie | 26. december 1946 (79 rokov) Irakleio, Kréta, Grécko |
|---|---|
| Odkazy | |
| Webstránka | imag.fr |
| 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]- ↑ "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
 |
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |