- Joseph Sifakis
-
Joseph Sifakis en 2008
Joseph Sifakis est un chercheur en informatique français d'origine grecque[1], directeur de recherche au CNRS.
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)[2] et docteur d’État en informatique de l'USMG et de l'Institut national polytechnique de Grenoble[3].
Il a fondé le 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.
Il est le lauréat, avec Edmund Clarke (Carnegie Mellon University) et Allen Emerson (Université du Texas à Austin) du Prix Turing 2007, et le premier Français à recevoir cette distinction. Il a également reçu en 2001 la médaille d'argent du CNRS.
Il est l'un des créateurs de la méthode d'énumération et de vérification de modèles (model checking), pour laquelle il a reçu ce prix. Il s'est également illustré dans l'étude des systèmes hybrides.
Il est élevé à la dignité de grand officier de l'ordre national du Mérite[4]. Il est nommé au grade de commandeur de la Légion d'honneur le 14 juillet 2011[5].
Notes et références
- Aperçu historique de l’immigration grecque à Grenoble, Evangélia Moussouri, in Écarts d'identités n⁰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
- Modèles temporels des systèmes logiques, Université scientifique et médicale de Grenoble, 1976, sous la direction de Jean Kuntzmann
- Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique, USMG and INPG, 1979 sous la direction de Louis Bolliet
- Décret du 16 mai 2008 paru au Journal officiel de la République française du 17 mai 2008.
- Décret du 13 juillet 2011 portant promotion
Liens et documents externes
- Page professionnelle de Joseph Sifakis
- Le prix Turing décerné aujourd'hui à Joseph Sifakis, site de l'Université Joseph Fourier.
- (en) Publications de Joseph Sifakis sur DBLP
- (en) Publications de Joseph Sifakis sur ScientificCommons
Catégories :- Lauréat du prix Turing
- Scientifique français
- Personnalité française en informatique
- Personnalité en informatique théorique
- Lauréat de la Médaille d'argent du CNRS
- Personnalité en méthodes formelles
- Grand officier de l'ordre national du Mérite
- Étudiant de l'université Grenoble I
- Date de naissance inconnue (XXe siècle)
- Commandeur de la Légion d'honneur
Wikimedia Foundation. 2010.
