Joseph Sifakis, Directeur de Recherche au CNRS, a reçu en compagnie des Américains Edmund Clarke et Allen Emerson le prix Turing 2007, soit le prix Nobel de l'informatique.
Le prix Turing est attribué depuis 1966 et décerné par l'Association for Computing Machinery (ACM).
Pourquoi Turing? Parce que Alan Turing considéré comme l'un des pères de l'informatique moderne.
Joseph Sifakis est le fondateur du laboratoire Verimag à Grenoble qui est spécialisé dans le domaine des systèmes embarqués critiques.
Mr. Sifakis a reçu ce prix pour avoir mis au point une technologie de vérification des systèmes complexes (Model Checking), performante et fiable. Ses travaux ont été diffusés dans l'industrie du logiciel et du matériel avec des perspectives de développement dans le domaine des puces, des systèmes embarqués et des algorithmes de sécurité.
A noté que Joseph Sifakis est le premier français à avoir remporté ce prix, donc bravo!
Liste des Prix Turing depuis 1966.
Related posts:
Bravo pour ton billet, je viens d'y apprendre que Alan Turing était consdéré comme le père de l'informatique moderne comme quoi, nous en apprenons tous les jours !!
Il n'y a pas d'age pour apprendre.
Tout à fait Nicolas et on en apprend tout les jour comme disait Jean Gabin !!