Sifakis, Joseph
| Josef Sifakis | |
|---|---|
| Ιωσήφ Σηφάκης | |
| Datum narození | 1946 |
| Místo narození | Heraklion , Řecko |
| Země |
Řecko Francie (od roku 1976) |
| Vědecká sféra | Informatika |
| Místo výkonu práce | Národní centrum pro vědecký výzkum |
| Alma mater | Národní technická univerzita v Aténách , Univerzita Josepha Fouriera |
| vědecký poradce | Louis Bolliet [d] [1] |
| Známý jako | kontrola modelu |
| Ocenění a ceny | Turingova cena |
| webová stránka | www-verimag.imag.fr/~sif… |
| Mediální soubory na Wikimedia Commons | |
Joseph Sifakis ( řecky Ιωσήφ Σηφάκης , francouzsky Joseph Sifakis ; narozen 1946 , Heraklion , Řecko ) je francouzský vědec řeckého původu v oboru teorie počítačových systémů, vítěz Turingovy ceny .
Člen Francouzské akademie věd (2011) [2] , zahraniční člen Čínské akademie věd (2019) [3] [4] .
Životopis
Sifakis se narodil v roce 1946 v Heraklionu , hlavním městě řeckého ostrova Kréta . Získal elektrotechnické vzdělání na Národní technické univerzitě v Aténách , poté se přestěhoval do Francie , kde studoval na Fakultě informatiky Univerzity Josepha Fouriera , získal stipendium a získal titul Ph.D. V roce 1976 přijal francouzské občanství. Sifakis v současné době pracuje ve výzkumné laboratoři VERIMAG v Národním centru pro vědecký výzkum Francie poblíž Grenoblu , kterou založil a řídil v letech 1993 až 2006 .
V roce 2007 mu byla spolu s Edmundem Clarkem a Allenem Emersonem udělena Turingova cena za přínos k rozvoji teorie kontroly modelů .
Ocenění
- 2001 - Stříbrná medaile Národního centra pro vědecký výzkum
- 2007 - Turing Award s Clarkem a Emersonem za jejich roli ve vývoji model checkingu , vysoce efektivní techniky ověřování programů široce používané ve vývoji softwaru i hardwaru [5] [6]
Viz také
Poznámky
- ↑ Matematická genealogie (anglicky) - 1997.
- ↑ Joseph Sifakis archivován 4. září 2019 na Wayback Machine (fr.)
- ↑ 关于公布2019年中国科学院院士增选当选院士名单的公告 Archivováno 21. května 2020 , listopad 2020 na stroji Chi20219
- ↑ 约瑟夫·希发基思（Joseph Sifakis） (Číňan) .中国瑟学院院士.
- ↑ Laureáti výroční Turingovy ceny - Věda a technologie - Compulenta vyhlášena (nepřístupný odkaz) . Získáno 20. února 2009. Archivováno z originálu 21. února 2009.
- ↑ Citace ceny ACM / Joseph Sifakis Archivováno 27. června 2009.
Odkazy
- Stránka Josepha Sifakise na webu VERIMAG (anglicky)
Wikimedia Commons má média související s Josephem Sifakisem
 Tematické stránky | ||||
|---|---|---|---|---|
| Slovníky a encyklopedie | ||||
| ||||
| Vítězové Turingovy ceny | |
|---|---|
| |