- Sifakis
-
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].
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 2905375086
- ↑ 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.
Liens et documents externes
- Page professionnelle de Joseph Sifakis
- Le prix Turing décerné aujourd'hui à Joseph Sifakis, site de l'Université Joseph Fourier.
- Verimag, site du laboratoire de Joseph Sifakis.
Portail de l’informatique
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
Wikimedia Foundation. 2010.
