Partenaires

Logo IRMA
Logo CNRS
Logo UDS
Logo MIF

Rechercher

Sur ce site

 
 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, 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 :