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.