Joseph Sifakis

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Joseph Sifakis
Joseph Sifakis img 0966.jpg

Joseph Sifakis en 2008

Biographie
Naissance
Nom dans la langue maternelle
Ιωσήφ ΣηφάκηςVoir et modifier les données sur Wikidata
Nationalités
Formation
Activités
Autres informations
A travaillé pour
Domaine
Membre de
Site web
Distinctions
Prix Turing ()Voir et modifier les données sur Wikidata
Liste détaillée
Commandeur de la Légion d'honneur‎
Grand officier de l'ordre national du Mérite (d)
Médaille d'argent du CNRS
Prix Turing ()Voir et modifier les données sur Wikidata

Joseph Sifakis (en grec moderne: Ιωσήφ Σηφάκης, Iosif Sifakis) est un chercheur en informatique français d'origine grecque[1], né le à Héraklion (Crète), directeur de recherche au CNRS et membre de l'Académie des technologies.

En 2007, il est le premier scientifique français à recevoir le prix Turing, la plus haute distinction en Informatique, considéré comme l'équivalent du prix Nobel dans le domaine.

Ses travaux de recherche porte principalement sur les systèmes embarqués[2].

Biographie[modifier | modifier le code]

Joseph Sifakis est ingénieur électricien de l’École polytechnique d’Athènes, docteur-ingénieur de l'université scientifique et médicale de Grenoble (USMG)[3] et docteur d’État en informatique de l'USMG et de l'Institut polytechnique de Grenoble[4].

Il est directeur de recherche de classe exceptionnelle au CNRS et fondateur le laboratoire Verimag[5] près de Grenoble (unité mixte de recherche du CNRS, de l'université Joseph-Fourier et de Grenoble INP), où il travaille encore à présent.


Transfert industriel[modifier | modifier le code]

Joseph Sifakis a activement travaillé pour le transfert des résultats de la recherche vers des partenaires industriels. De 2004 à 2011, il est le coordinateur scientifique du réseau d’excellence européen « ARTIST2 Embedded Systems Design » qui coordonne la recherche de 35 équipes européennes afin de développer des résultats théoriques et pratiques pour la conception de systèmes embarqués performants et robustes[6].

Prix et distinctions[modifier | modifier le code]

En 2007, il reçoit le Prix Turing [7], avec Edmund Clarke (Carnegie Mellon University) et Allen Emerson (université du Texas à Austin) pour la méthode d'énumération et de vérification de modèles (model checking). Cette méthode se fonde sur une description des systèmes informatiques par des systèmes à états et transitions et sur une analyse des états accessibles dans ces systèmes, qui s'inspire des algorithmes de parcours de graphes[8].

Le Model-Checking trouve de nombreuses applications industrielles à la vérification de : puces, protocoles de communication, logiciels pilotes de périphériques, systèmes critiques embarqués (par exemple dans les avions, les trains, les fusées, les satellites ou les téléphones portables...) et d’algorithmes de sécurité.[9]

Il s'est également illustré dans l'étude des systèmes hybrides.

Il a également reçu en 2001 la médaille d'argent du CNRS[10].

En 2009, il devient docteur honoris causa de l'École polytechnique fédérale de Lausanne , où il devient professeur ordinaire, pendant la période 2011-2016 dirigeant le Laboratoire pour la conception rigoureuse des systèmes[11].

Il est élevé à la dignité de grand officier de l'ordre national du Mérite[12]. Il est nommé au grade de commandeur de la Légion d'honneur le [13].

Notes et références[modifier | modifier le code]

  1. Evangélia Moussouri, « Aperçu historique de l’immigration grecque à Grenoble », in Écarts d'identités no 95-96, ISSN 1252-6665, reprenant des informations d'une entrevue avec Joseph Sifakis publiée dans Des grecs, les grecs de Grenoble, Musée dauphinois, (ISBN 2-905375-08-6).
  2. Académie des Sciences: conférence de Joseph Sifakis à l'Académie des sciences le 10 mars 2009 sur les systèmes embarqués.
  3. Modèles temporels des systèmes logiques, Université scientifique et médicale de Grenoble, 1976, sous la direction de Jean Kuntzmann.
  4. Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique, USMG et INPG, 1979 sous la direction de Louis Bolliet.
  5. « Joseph Sifakis - Homepage », sur www-verimag.imag.fr (consulté le 10 mars 2017)
  6. « membre joseph-sifakis », sur http://www.academie-technologies.fr (consulté le 10 avril 2017)
  7. (en) « Professor Joseph Sifakis - A.M. Turing Award Winner », sur amturing.acm.org (consulté le 10 mars 2017)
  8. Gilles Dowek, Informatique et sciences du numérique, Eyrolles, , 339 p. (ISBN 978-2-212-13676-0)
  9. « Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 », sur cnrs.fr, (consulté le 10 avril 2017)
  10. CNRS, « Médailles d'argent du CNRS - Les lauréats 2001 », sur http://www.cnrs.fr (consulté le 13 février 2014).
  11. (en) « RISD | EPFL », sur risd.epfl.ch (consulté le 10 mars 2017)
  12. Décret du 16 mai 2008 paru au Journal officiel de la République française du 17 mai 2008.
  13. Décret du 13 juillet 2011 portant nomination (lire en ligne)

Liens externes[modifier | modifier le code]

Sur les autres projets Wikimedia :