Joseph Sifakis
Un article de Wikipédia, l'encyclopédie libre.
Joseph Sifakis est un chercheur en informatique français, d'origine grecque, directeur de recherche au CNRS.
Joseph Sifakis est ingénieur électricien de l’Ecole Polytechnique d’Athènes et Docteur d’Etat en Informatique de l’Université de Grenoble. 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[1].
[modifier] Notes et références
[modifier] Liens et documents externes
- Le prix Turing décerné aujourd'hui à Joseph Sifakis, site de l'Université Joseph Fourier.
