Joseph Sifakis

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 (75 let)
Iraklio
Alma materNárodní polytechnická univerzita v Aténách
Povoláníinformatik a inženýr
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)
honorary doctor of the École polytechnique fédérale de Lausanne
komandér Řádu čestné legie
velkodůstojník Národního řádu za zásluhy
 více na Wikidatech
FunkceDirecteur de recherche au CNRS
Webwww-verimag.imag.fr/~sifakis/
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

Externí odkazy

Reference

  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. Archivovaná kopie. revues-plurielles.org [online]. [cit. 2019-05-03]. Dostupné v archivu pořízeném z originálu dne 2012-07-23.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.