Le « prix Nobel » de l'informatique pour un chercheur français du CNRS

Pour la première fois depuis sa création en 1966, le prix Turing a été attribué à un Français : Joseph Sifakis. Considéré comme le prix Nobel de l'informatique, cette récompense est décernée chaque année par l'Association for Computing Machinery (ACM) à des chercheurs sélectionnés pour leur « contribution de nature technique faite à la communauté informatique ».

Directeur de recherche au laboratoire grenoblois Verimag du CNRS, Joseph Sifakis a été récompensé pour ses travaux portant sur le « model checking », technologie largement utilisée dans l'industrie du logiciel et du matériel informatique, indique l'ACM.

Le « model checking » est une méthode de vérification automatique des systèmes en temps réel. Elle permet ainsi de contrôler algorithmiquement si un système informatique répond à certaines exigences, en terme de stabilité ou de sécurité par exemple. Joseph Sifakis a commencé à développer cette technique dans les années 80. Elle est aujourd'hui utilisée notamment pour le contrôle en temps réel des puces de communication, les pilotes de périphériques ou encore les systèmes critiques embarqués dans les avions ou les trains.

Le Français partage son prix avec les Américains Edmund Clarke et Allen Emerson qui ont participé à ces travaux. Ils partagent également la prime de 250 000 dollars qui accompagnent ce prix Turing 2007.