Joseph Sifakis - Joseph Sifakis

Joseph Sifakis
Joseph Sifakis img 0966.jpg
narozený26. prosince 1946 (1946-12-26) (stáří73)
Heraklion, Kréta, Řecko
Státní občanstvířecký -francouzština
Alma materNárodní technická univerzita v Aténách
University of Grenoble
Známý jakoVývoj kontroly modelu
OceněníNAE (2017)
ACM Turing Award (2007)
Commandeur de la Légion d'honneur
Velký důstojník de l 'ordre national du Mérite
Médaille d'argent du CNRS
Vědecká kariéra
PolePočítačová věda
InstituceCNRS

Joseph Sifakis (řecký: Ιωσήφ Σηφάκης) je řecký -francouzština počítačový vědec s francouzským občanstvím,[1] laureát roku 2007 Turing Award, spolu s Edmund M. Clarke a E. Allen Emerson, za jeho práci na kontrola modelu.

Životopis

Narodil se v Heraklion, Kréta v roce 1946[2] a studoval Elektrotechnika na Národní technická univerzita v Aténách a Počítačová věda na University of Grenoble pod Francouzem stipendium.[3] Získal a doktorát v roce 1974 z University of Grenoble,[4] kde také v roce 1979 získal státní doktorát.[5][6][7]

V roce 2009 mu byl udělen titul Dr. h.c. z École Polytechnique Fédérale de Lausanne Ve Švýcarsku, kde byl v roce 2011 jmenován řádným profesorem[8] (na Škole počítačových a komunikačních věd).

Sifakis žije Francie, jehož občanství získal v roce 1976[1] a pracuje pro Centre national de la recherche scientifique na VERIMAG laboratoř blízko Grenoble,[7] jehož je zakladatelem.[2][9]

Je také koordinátorem organizace Umělec2 Evropská síť excelence pro výzkum Vestavěné systémy.[10]

Je velkým francouzským důstojníkem národní řád za zásluhy[11] a velitel ve Francii Čestná legie.[12]

Medaili Leonarda da Vinciho získal v roce 2012. V roce 2009 získal Cenu Nadace Řeckého parlamentu za parlamentarismus a demokracii. Je velitelem Řecký národní řád Phoenixu V roce 2019 byl zvolen zahraničním členem Čínská akademie věd[13]

Reference

  1. ^ A b Aperçu historique de l’immigration grecque à Grenoble, Evangélia Moussouri, v Écarts d'identités n⁰95-96, ISSN 1252-6665, dotisk informací z rozhovoru Josepha Sifakise v Des grecs, les grecs de GrenobleMusée Dauphinois, ISBN  2-905375-08-6
  2. ^ A b (Eleftherotypia - 5. února 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Archivováno 7. února 2008 v Wayback Machine (v řečtině)
  3. ^ (Kathimerini - 4. února 2008) Tο βραβείο Turing 2007 σε Έλληνα ερευνητή Archivováno 16. července 2011 v Wayback Machine (v řečtině)
  4. ^ Modely temporel des systèmes logiques („Temporal models of logic systems“), Université scientifique et médicale de Grenoble, 1976, pod dohledem Jean Kuntzmann
  5. ^ Le contrôle des systèmes asynchrones: concepts, propriétés, analyze statique („Řízení asynchronních systémů: koncepty, vlastnosti, statická analýza "), USMG a INPG, 1979 pod dohledem Louis Bolliet
  6. ^ V době, kdy byl Joseph Sifakis postgraduálním studentem, existovaly ve Francii dvě úrovně PhD, vyšší, doctorat d'état („státní doktorát“) nezbytný pro přístup profesury. Od té doby byl nahrazen habilitace.
  7. ^ A b V Grenoblu byly dvě vědecké univerzity: Université scientifique et médicale de Grenoble (USMG, Grenoble-1), která byla později přejmenována na Univerzita Josepha Fouriera a Technologický institut v Grenoblu (INPG), později přejmenovaná na Grenoble-INP. VERIMAG je společná laboratoř CNRS, Univerzity Josepha Fouriera a Grenoble-INP.
  8. ^ Novinky na EPFL
  9. ^ CNRS webová stránka - Joseph Sifakis, chercheur au CNRS, vedoucí le Prix Turing 2007 (francouzsky)
  10. ^ ARTIST2 NoE - Rada pro strategické řízení - Artist2 NoE
  11. ^ Vyhláška ze dne 16. května 2008 zveřejněno v Journal officiel de la République Française ze dne 17. května 2008.
  12. ^ Vyhláška ze dne 13. července 2011 zveřejněno v Journal officiel de la République Française ze dne 14. července 2008.]
  13. ^ „Zvolen členové Čínské akademie věd, 2019“.

externí odkazy