Joseph Sifakis
| Joseph Sifakis | |
 gréckyinformatik | |
| Narodenie | 26. december1946(77 rokov) Irakleio,Kréta,Grécko |
|---|---|
| Odkazy | |
| Webstránka | imag.fr |
| Commons |  Joseph Sifakis |
Joseph Sifakis(gr.Ιωσήφ Σηφάκης - Iosif Sifakis;*26. december1946[1],Irakleio,Kréta,Grécko) je gréckyinformatikv súčasnosti žijúci voFrancúzsku.V roku2007dostal spolu sEdmundom ClarkeomaErnestom Allenom EmersonomTuringovu cenuza prínos v oblasti vývoja metódyoverovania 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émuJoseph Sifakis
|
Tento článok týkajúci sabiografieosobnosti je zatiaľ „výhonok“.Pomôž Wikipédii tým, že hodoplníš a rozšíriš. |