Un Français reçoit le Prix Turing 2007

Joseph Sifakis, directeur de recherche au CNRS, au laboratoire Verimag (CNRS / Université Grenoble 1 / Groupe Grenoble INP), vient de se voir décerner le Prix Turing 2007, une des plus hautes distinctions en informatique. Il est le premier Français à obtenir ce prix depuis sa création, en 1966. Il est récompensé - ainsi qu'une équipe américaine (qui travaillait simultanément, sans le savoir, sur le même thème) - 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.

Ingénieur électricien de l'Ecole Polytechnique d'Athènes et Docteur d'Etat en Informatique de l'Université de Grenoble, Joseph Sifakis est directeur de recherche au laboratoire Verimag à Grenoble, un laboratoire, dont il est le fondateur. Il est aussi le coordinateur scientifique du réseau d'excellence européen "Artist2 Embedded Systems Design" qui coordonne la recherche de 35 équipes européennes afin de développer des résultats théoriques et pratiques pour la conception de systèmes embarqués.