En 2008, Joseph Sifakis, chercheur au CNRS, recevait le Prix Turing qui distingue des chercheurs pour l’impact technique majeur et durable de leurs recherches en Informatique. Ce prix, plus haute distinction internationale pour les informaticiens, lui a été décerné pour ses travaux sur les systèmes embarqués et les systèmes en temps réels, en particulier pour son “model checking”.

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(1) 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(2) – 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 la suite sur le site du CNRS