Joseph Sifakis
Joseph Sifakis est un chercheur en informatique français d'origine grecque[1], né le 26 décembre 1946 à Héraklion (Crète), 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[4] 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[5], 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[6]. Il est nommé au grade de commandeur de la Légion d'honneur le 14 juillet 2011[7].
Notes et références [modifier]
- 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
- 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
- http://www-verimag.imag.fr/~sifakis/
- http://amturing.acm.org/award_winners/sifakis_1701095.cfm
- 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
Annexes [modifier]
Liens et documents externes [modifier]
- Le prix Turing décerné à Joseph Sifakis, site de l'Université Joseph Fourier.
- (en) Publications de Joseph Sifakis sur DBLP
- (en) Publications de Joseph Sifakis sur ScientificCommons
- Informaticien français
- Personnalité grecque en informatique
- Personnalité en informatique théorique
- Personnalité en méthodes formelles
- Naissance en 1946
- Naissance en Crète
- Lauréat du prix Turing
- Lauréat de la Médaille d'argent du CNRS
- Grand officier de l'ordre national du Mérite
- Commandeur de la Légion d'honneur
- Étudiant de l'université Joseph-Fourier - Grenoble 1
