IRMA, UMR 7501 |
7 rue René-Descartes |
67084 Strasbourg Cedex |
Tél. 33 (0)3 68 85 01 29 |
Fax. 33 (0)3 68 85 03 28 |
Accueil > Actualités > Archives des actualités > Actualités 2008 > Joseph Sifakis, chercheur au CNRS, reçoit le prix Turing 2007
Joseph Sifakis, directeur de recherche au CNRS, au laboratoire VERIMAG (CNRS/Université Grenoble 1/Groupe Grenoble INP) et médaillé d’argent du CNRS en 2001, vient de se voir décerner le Prix Turing 2007, la plus haute distinction en Informatique, prix prestigieux considéré comme l’équivalent du prix Nobel de ce domaine. Joseph Sifakis, premier Français à obtenir ce prix depuis sa création, en 1966, est récompensé - ainsi qu’une équipe américaine - pour avoir mis au point le Model Checking, une technologie de vérification des systèmes complexes, performante et fiable, aujourd’hui très largement utilisée dans les industries du logiciel et du matériel.
Lire le communiqué de presse
Source : CNRS
Dernière mise à jour le 18-02-2008
Dans la même rubrique :