Joseph Sifakis (en grec moderne : Ιωσήφ Σηφάκης, Iosif Sifakis), né le à Héraklion (Crète), est un chercheur en informatique français d'origine grecqueEvangélia Moussouri, « Aperçu historique de l’immigration grecque à Grenoble », in Écarts d'identités 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, ., directeur de recherche au CNRS et membre de l'Académie des sciences.
En 2007, il est le premier lauréat français à recevoir le prix Turing. Il a fondé et dirige le laboratoire Verimag à Grenoble qui pousse la recherche sur les systèmes embarqués critiquesAcadémie des Sciences: conférence de Joseph Sifakis à l'Académie des sciences le 10 mars 2009 sur les systèmes embarqués. et offre des solutions de sécurité aux entreprises.
Biographie Joseph Sifakis est ingénieur électricien de l’École polytechnique d’Athènes, docteur-ingénieur de l'université Joseph-Fourier (USMG)Modèles temporels des systèmes logiques, Université scientifique et médicale de Grenoble, 1976, sous la direction de Jean Kuntzmann.. En 1970, il arrive en France pour y poursuivre une thèse en physique théorique mais rapidement s'intéresse à l'informatique. Il devient docteur d’État en informatique de l'USMG et de l'Institut polytechnique de GrenobleLe contrôle des systèmes asynchrones : concepts, propriétés, analyse statique, USMG et INPG, 1979 sous la direction de Louis Bolliet..
Il est directeur de recherche de classe exceptionnelle (depuis 2011, émérite) au CNRS et fondateur du laboratoire Verimag. 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.
En 2007, il reçoit le prix Turing, 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). Les récipiendaires se partagent une prime de dollars..
De 2011 à 2016, il est professeur ordinaire de l'École polytechnique fédérale de Lausanne, dirigeant le Laboratoire pour la conception rigoureuse des systèmes.
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 ..
Travaux de recherche En 2007, il reçoit le prix Turing. 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..
Son application permet de vérifier qu'un système représenté par un modèle formel satisfait des propriétés formulées dans une logique temporelle. Cette méthode est particulièrement adaptée sur des propriétés essentielles du comportement du système en fournissant la preuve formelle qu'un système est "correct" (contrairement à des méthodes de validation ad hoc fondées sur le test).
De ce fait, le model checking est particulièrement adapté pour assurer des propriétés de sûreté et par conséquent transposable à de nombreuses applications industrielles : 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é..
Il s'est également illustré dans l'étude des systèmes hybrides. Au cours des vingt dernières années, ses travaux ont porté sur la conception rigoureuse basée sur des composants à l'aide du cadre de composants BIP et, plus récemment, sur la conception de systèmes autonomes fiables, en particulier les voitures autonomes.
Prix et distinctions
2001 : Médaille d'argent du CNRS. 2007 : Prix Turing 2008 : Membre de l'Académie des technologies 2008 : Membre de l’Academia Europaea 2009 : Docteur honoris causa de l'École polytechnique fédérale de Lausanne. 2011 : Membre de l'Académie des sciences (France) 2011 : . ( en 2008Décret du 16 mai 2008 paru au Journal officiel de la République française du 17 mai 2008.) 2015 : Membre de l'American Academy of Arts and Sciences 2017 : Membre de la National Academy of Engineering 2019 : Membre étranger de l'Chinese Academy of Sciences 2024 : Membre de l'Académie nationale des sciences (États-Unis)
Notes et références
Liens externes
Le prix Turing décerné à Joseph Sifakis, site de l'Université Joseph Fourier.
Catégorie:Informaticien français Catégorie:Personnalité grecque de l'informatique Catégorie:Personnalité en informatique théorique Catégorie:Personnalité en méthodes formelles Catégorie:Personnalité liée à Grenoble Catégorie:Directeur de recherche au CNRS Catégorie:Étudiant de l'université Joseph-Fourier - Grenoble 1 Catégorie:Élève de l'Institut polytechnique de Grenoble Catégorie:Étudiant de l'université polytechnique nationale d'Athènes Catégorie:Enseignant à l'École polytechnique fédérale de Lausanne Catégorie:Docteur honoris causa de l'École polytechnique fédérale de Lausanne Catégorie:Lauréat du prix Turing Catégorie:Lauréat de la médaille d'argent du CNRS Catégorie:Membre de l'Académie des technologies Catégorie:Membre de l'Académie des sciences (France) Catégorie:Membre de l'Academia Europaea Catégorie:Membre de l'Académie américaine des arts et des sciences Catégorie:Grand officier de l'ordre national du Mérite Catégorie:Commandeur de la Légion d'honneur promu en 2011 Catégorie:Naissance en décembre 1946 Catégorie:Naissance à Héraklion Catégorie:Membre de l'Académie nationale des sciences