Joseph Sifakis

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání
Joseph Sifakis
Joseph Sifakis mg 4603.jpg
Narození 26. prosince 1946 (72 let)
Iraklio
Alma mater Národní polytechnická univerzita v Aténách
Zaměstnavatel Centre national de la recherche scientifique
Ocenění CNRS silver medal (2001)
Turingova cena (2007)
Fellow of the Association for Computing Machinery (2012)
komandér Řádu čestné legie
velkodůstojník Národního řádu za zásluhy
… více na Wikidatech
Funkce Directeur de recherche au CNRS
Web www-verimag.imag.fr/~sifakis/
Některá data mohou pocházet z datové položky.

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]

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[editovat | editovat zdroj]

Reference[editovat | editovat zdroj]

  1. 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é online. 
  2. Joseph Sifakis | French computer scientist. Encyclopedia Britannica [online]. [cit. 2019-05-03]. Dostupné online. (anglicky) 
  3. http://revues-plurielles.org/_uploads/pdf/6_95_6.pdf