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
Švýcarský federální technologický institut v Lausanne
Ocenění CNRS silver medal (2001)
Turingova cena (2007)
list of Fellows 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é v archivu pořízeném z originálu. 
  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