Joseph Sifakis
Joseph Sifakis est un chercheur en informatique d'origine grecque né le 26 décembre
1946 à Héraklion (Crète), directeur de recherche au CNRS. Il a fondé le laboratoire
Verimag près de Grenoble (unité mixte de recherche du CNRS, de l'université JosephFourier 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 . Il a également reçu en 2001 la
médaille d'argent du CNRS. Il devient docteur honoris causa de l'École polytechnique
fédérale de Lausanne en 2011, où il est actuellement professeur ordinaire, dirigeant
le Laboratoire pour la conception rigoureuse des systèmes.
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. Il est nommé
au grade de commandeur de la Légion d'honneur le 14 juillet 2011.