Joseph Sifakis

V dnešním světě je Joseph Sifakis téma, které je v různých oblastech stále aktuálnější a zajímavější. Jak v politické, sociální a ekonomické sféře, tak i v každodenním životě lidí, Joseph Sifakis upoutal pozornost milionů jedinců po celém světě. Význam Joseph Sifakis se odráží v rozmanitosti názorů a přístupů, které na toto téma existují, a také v neustálém vývoji a změnách, které v průběhu času zažívá. To je důvod, proč je klíčové prohloubit porozumění Joseph Sifakis, analyzovat jeho důsledky a diskutovat o jeho různých aspektech. V tomto článku se ponoříme do světa Joseph Sifakis, prozkoumáme jeho různé dimenze a budeme se zabývat debatami kolem tohoto dnes tak aktuálního tématu.

Joseph Sifakis
Narození26. prosince 1946 (78 let)
Iraklio
Alma materNá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
FunkceDirector of Research at CNRS
Webwww-verimag.imag.fr/~sifakis/
Logo Wikimedia Commons multimediální obsah na Commons
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

Externí odkazy

  • Obrázky, zvuky či videa k tématu Joseph Sifakis na Wikimedia Commons

Reference

  1. ↑ ACM Turing Award Honors Founders of Automatic Verification Technology — Association for Computing Machinery. web.archive.org . 2008-12-28 . Dostupné v archivu pořízeném z originálu. 
  2. ↑ Joseph Sifakis | French computer scientist. Encyclopedia Britannica . . Dostupné online. (anglicky) 
  3. ↑ Archivovaná kopie. revues-plurielles.org . . Dostupné v archivu pořízeném z originálu dne 2012-07-23.