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.
| Joseph Sifakis | |||
 grécky informatik | |||
| Narodenie | 26. december 1946 (74 rokov) Irakleio, Kréta, Grécko | ||
|---|---|---|---|
| Odkazy | |||
| Webstránka | imag.fr | ||
| Commons |  Joseph Sifakis | ||
| |||
Referencie
- "Joseph Sifakis." Encyclopædia Britannica. 2010. Encyclopædia Britannica Online. 20 Jan. 2010.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.