-
Lauréat de la Médaille d'argent du CNRS (1999)
- Ehrendoktors des Ingenieurwissenschaften (Dr.-Ing. E.h.) die Naturwissenschaftlich-Technische Fakultät I - Mathematik und Informatik - der Universität des Saarlandes (29. Juni 2001)
Member of the Academia Europea, Informatics Section (2006)
- « Grand Prix des sciences de l'informatique et de leurs applications » (Grand Prix of Computer Science and its Applications) of the Fondation Airbus Group attributed by the French Académie des Sciences (December 20th, 2006)
- Humboldt Prize of the Alexander von Humboldt-Stiftung/Foundation in Computer Science (2008)
- ACM SIGPLAN Programming Languages Achievement Award, with Radhia Cousot (2013)
- IEEE Computer Society Harlan D. Mills Award, with Radhia Cousot (2014) “ For the invention of "abstract interpretation", development of tool support, and its practical application.”
- IEEE John von Neumann Medal (2018) “For introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimization.”
- 2020 Fellow of the ACM “For contributions to programming languages through the invention and development of abstract interpretation.”
- Dottoraro ad honorem in “Computer Science”, Università Ca'Foscari Venezia, Italy (May 20th, 2022)
- The EATCS Distinguished Achievements Award 2022
-
Chevalier dans l'ordre des Palmes Académiques pour services rendus à l'Éducation nationale (décret du 1er août 1990, BODMR du 27 octobre 1990).
-
Chevalier dans l'Ordre National du Mérite (décret du 24 juin 1993).