Joseph Sifakis
řecko-francouzský informatik
Joseph Sifakis (řecky: Ιωσήφ Σηφάκης; 26. prosince 1946, Heráklion) je řecko-francouzský informatik. V roce 2007 obdržel Turingovu cenu, za práci na automatických způsobech hledání chyb v návrzích počítačového hardwaru a softwaru.[1]
| Joseph Sifakis | |
|---|---|
 | |
| Narození | 26. prosince 1946 (78 let) Iraklio |
| Alma mater | Národní polytechnická univerzita v Aténách |
| Povolání | počítačový vědec, inženýr a výzkumník |
| Zaměstnavatelé | Národní centrum vědeckého výzkumu Švýcarský federální technologický institut v Lausanne |
| Ocenění | stříbrná medaile Národního centra vědeckého výzkumu (2001) Turingova cena (2007) společník ACM (2012) velkodůstojník Národního řádu za zásluhy honorary doctor of the École polytechnique fédérale de Lausanne … více na Wikidatech |
| Funkce | Director of Research at CNRS |
| Web | www-verimag |
 multimediální obsah na Commons | |
| Některá data mohou pocházet z datové položky. | |
Vystudoval elektrotechniku na Národní technické univerzitě v Athénách (bakalářská úroveň, 1969) a počítačovou vědu na Université Grenoble-Alpes (magisterská úroveň, 1972, doktorát, 1974). Poté pracoval v Centre national de la recherche scientifique a v laboratořích Verimag v Gières, které roku 1993 založil. Od roku 2008 pracuje v Institut National de Recherche en Informatique et en Automatique v Grenoblu.[2] Roku 1976 se stal francouzským občanem.[3]
Odkazy
editovatExterní odkazy
editovat
Obrázky, zvuky či videa k tématu Joseph Sifakis na Wikimedia Commons
Reference
editovat- ↑ ACM Turing Award Honors Founders of Automatic Verification Technology — Association for Computing Machinery. web.archive.org [online]. 2008-12-28 [cit. 2019-05-03]. Dostupné v archivu pořízeném z originálu.
- ↑ Joseph Sifakis | French computer scientist. Encyclopedia Britannica [online]. [cit. 2019-05-03]. Dostupné online. (anglicky)
- ↑ Archivovaná kopie. revues-plurielles.org [online]. [cit. 2019-05-03]. Dostupné v archivu pořízeném z originálu dne 2012-07-23.
