Il récompense l'équipe ou à la personne ayant marqué l'année par une contribution remarquable dans le domaine de l'informatique.
Cette année ce prix revient à Edmund M. Clarke, E. Allen Emerson, et Joseph Sifakis pour leur travail sur le Model Checking. "Le Model Checking est une méthode algorithmique qui permet 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)" annonce le CNRS dans son communiqué de presse.
Joseph Sifakis, directeur de recherche au CNRS, est le premier français à obtenir le prix Turing.
Suivez l'info...
Communiqué de presse du CNRS : http://www2.cnrs.fr/presse/communique/1280.htm
Site internet du CNRS : http://www.cnrs.fr/
Site de Joseph Sifakis : http://www-verimag.imag.fr/~sifakis/
Site de l'ACM (The Association for Computing Machinery), association décernant le prix Turing : http://www.acm.org/press-room/news-releases/turing-award-07
