Un chercheur français du CNRS reçoit le Prix Turing 2007

Le prestigieux Turing Award, tiré du nom d’Alan Turing, père fondateur de l'Informatique, récompense chaque année une personne sélectionnée pour sa contribution technique faite à la communauté informatique. « Les contributions doivent être d’une importance durable et majeure dans le secteur informatique » conditionne la page officielle de l’Association for Computing Machinery (ACM). Un prix de 250 000 dollars récompense l’heureux élu, financée par Intel et Google.

Cette année c’est Joseph Sifakis, un directeur de recherche au CNRS, laboratoire VERIMAG (CNRS/Université Grenoble 1/Groupe Grenoble INP) qui reçoit ce « prix Nobel » de l’informatique, avec deux autres de ses confrères américains (Edmund Clarke et Allen Emerson).

Cette équipe est connue pour avoir mis au point le Model Checking, méthode algorithmique de vérification des systèmes complexes, réputée performante et fiable, et « aujourd'hui très largement utilisée dans les industries du logiciel et du matériel » explique le CNRS. Cette méthode permet en pratique de vérifier qu’un système logiciel ou matériel satisfait à des exigences données (de sécurité ou de sûreté par exemple). Du coup, elle est suivie à peu près partout : puces, protocoles de communication, logiciels pilotes de périphériques, systèmes critiques embarqués, etc.

« Les travaux de Joseph Sifakis sont déterminants et ont conduit à la création de nouvelles logiques de spécification, à de nouveaux algorithmes de vérification et à des résultats théoriques exceptionnels, rajoute le CNRS, alors que cette technologie est aujourd’hui utilisée dans l’industrie des circuits intégrés afin de concevoir des systèmes complexes dont on peut garantir la conformité aux spécifications initiales »

L’impact industriel du Model Checking devrait être encore plus significatif dans les années à venir notamment en ce qui concerne la vérification des processeurs et des systèmes critiques embarqués.

Marc Rees le 6 février 2008 à 12:42 (23 123 lectures)

Tweeter

• 06 / 02 / 2008 : Microsoft étudie une version grand public de Surface
• 25 / 01 / 2008 : Test pratique du système de surveillance ESA de NVIDIA
• 23 / 01 / 2008 : Insolite : l'ordinateur bientôt capable de lire sur les lèvres
• 18 / 01 / 2008 : Microsoft : les signaux du cerveau comme leviers d'interface
• 17 / 01 / 2008 : Batteries : la révolution promise par des nanofils de silicium
• 17 / 01 / 2008 : Microsoft brevète la surveillance du métabolisme par ordinateur
• 22 / 12 / 2007 : Un miroir numérique pour changer de look en temps réel
• 19 / 12 / 2007 : Le corps humain en guise d'interface de transfert de données

Actu Précédente Actu Suivante