Les pionniers du Model Checking remportent le prix Turing 2007

, Partager

L’Association for Computing Machinery (ACM) a décerné le prestigieux prix Turing 2007 à Edmund M. Clarke, E. Allen Emerson et Joseph Sifakis pour leurs travaux sur le Model Checking. Le prix de l’ACM est souvent considéré comme le prix Nobel de l’informatique et consacre les chercheurs à la carrière exemplaire.

Clarke, professeur à l’université de Carnegie Mellon, et Emerson, professeur à l’université du Texas, ont signé les premières publications sur le Model Checking en 1981 à Harvard. Ils ont également reçu en 1998 le Paris Kanellakis Award de l’ACM pour l’invention du "Symbolic Model Checking", ainsi que l’Allen Newell for Research Excellence de l’université de Carnegie Mellon. Joseph Sifakis, directeur de recherche au CNRS et fondateur du laboratoire VERIMAG à l’université de Grenoble, a quant à lui publié ses premiers travaux sur le Model Checking la même année que ses confrère américains en menant sa recherche indépendamment depuis la France. Il a été honoré par la médaille d’Argent du CNRS en 2001 et coordonne actuellement le réseau européen d’excellence sur les systèmes embarqués ARTIST2. Il est le premier français à recevoir le prix Turing depuis sa création en 1966.

Le Model Checking est aujourd’hui largement utilisée pour détecter dynamiquement les erreurs dans des systèmes informatique ou électroniques complexes. Cette méthode algorithmique vérifie si tous les états du système à étudier sont conformes aux spécifications formulées en logique temporelle. Elle a de plus l’avantage de fournir un contre-exemple en cas d’échec de la vérification, ce qui facilite la localisation de l’erreur. Le Model Checking a en particulier participé à l’amélioration de la fiabilité des processeurs, des systèmes embarqués, des algorithmes de sécurité et des protocoles de réseaux.

Source :


- "Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing", 08/02/2008, http://www.nsf.gov/news/news_summ.jsp?cntn_id=111102&govDel=USNSF_51
- "Researchers Created Model Checking Technique for Hardware and Software Designers", 04/02/2008, http://www.acm.org/press-room/news-releases/turing-award-07/
- "2007 Turing Award Winners Announced ", 04/02/2008, http://www.ddj.com/206103622

Pour en savoir plus, contacts :


- Site Internet du Specification and Verification Center de Carnegie Mellon University : http://www.cs.cmu.edu/~svc/
- Liste des personnes ayant remporté le prix Turing depuis sa création : http://awards.acm.org/homepage.cfm?srt=all&awd=140
- Page de Joseph Sifakis : http://www-verimag.imag.fr/~sifakis/
- Site Internet du laboratoire VERIMAG : http://www-verimag.imag.fr/
Code brève
ADIT : 53088

Rédacteur :

Vincent Reboul - deputy-stic.mst@ambafrance-us.org

Voir en ligne : http://www.bulletins-electroniques….