Joseph Sifakis reçoit le prix Turing 2007, équivalent du prix Nobel pour l'informatique

[archive]
Joseph Sifakis

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.

Communiqué - 4 février 2008
Valérie Pécresse

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.

 

contact

Contact Presse

Les recherches les plus fréquentes :

© 2011 Ministère de l'Enseignement supérieur et de la Recherche - Tous droits réservés