Joseph Sifakis
Prix Turing
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, a reçu 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.