Valérie Pécresse a adressé ses plus vives félicitations à Joseph Sifakis, directeur de recherche au CNRS (UMR Verimag - CNRS, Institut National Polytechnique de Grenoble, Université Joseph Fourier), lauréat le 4 février du prestigieux prix Turing 2007, pour ses contributions à la vérification performante et fiable des logiciels et des matériels informatiques embarqués. Ce prix, d'un prestige comparable au prix Nobel, constitue la plus haute distinction en informatique.
Valérie Pécresse, ministre de l'Enseignement supérieur et de la Recherche, a exprimé sa très grande fierté de voir ce prix décerné, pour la première fois à un Français, en la personne de Joseph Sifakis. Il partage ce prix, distinguant des chercheurs pour l'impact technique majeur et durable de leurs recherches en informatique, avec Edmund Clarke (Carnegie Mellon University) et Allen Emerson (University of Texas, Austin). Cette distinction illustre aussi la capacité de Joseph Sifakis à travailler en étroite collaboration avec les entreprises, notamment en s'engageant au sein du réseau d'excellence européen ARTIST2, dont il est le coordinateur scientifique.
Les applications de ces travaux (théorie du Model Checking) aux domaines de l'industrie sont nombreuses : les transports comme l'avion ou la voiture en ont particulièrement bénéficié ainsi que l'industrie des circuits intégrés et les télécommunications.
Pour Valérie Pécresse, ce prix est un exemple du partenariat fructueux associant le CNRS des universités, et qui conduit à une recherche d'excellence. En effet, les travaux de Joseph Sifakis ont été rendus possibles grâce aux efforts financiers conjoints des tutelles de ce laboratoire, aussi bien en termes de postes de chercheurs, que d'investissements dans les outils de recherche.

Présentation de l'enseignement supérieur
Orientation et insertion professionnelle
Appui à la création d'entreprises innovantes
Etablissements et organismes de recherche
Concours, emploi et carrières
© 2011 Ministère de l'Enseignement supérieur et de la Recherche - Tous droits réservés