Le cadre théorique de l'interprétation abstraite a été posé par P. et R.. Cousot dès leur premier papier de POLP 1977, qui est resté absolument séminal. L'idée est de représenter les valeurs possibles des variables au cours de l'exécution d'un programme par des structures de données finies, par exemples des intervalles, sur lesquels on  peut faire des calculs exacts ou approchés pour borner les valeurs possibles au cours de l'exécution. On retrouve bien sûr cette idée dans toutes les approches d'analyse statique, mais le point fort de l'approche de Cousot a été de systématiser une théorie générale d'interprétation abstraite fondée sur des connections de Galois entre domaines sémantiques exacts et approchés. La théorie générale du point fixe donne automatiquement la correction du processus itératif de calcul, alors que le choix des domaines abstraits conditionne le pouvoir de résolution des algorithmes et leur performance. Les domaines simples sont rapides mais peuvent donner des fausses alarmes, alors que les domaines précis peuvent induire des temps de calcul réhibitoires. Avec ses nombreux élèves, P. Cousot a caractérisé beaucoup de domaines abstraits intéressants, et en a fait une sorte de cartographie à travers de nombreux articles, conférences invitées, et développements logiciels.

L'interprétation abstraite ne s'arrête pas à  la théorie. A la suite de l'accident d'Ariane 5, et sur demande du CNES, d'anciens élèves de Cousot ont développé un système d'interprétation abstraite qui a effectivement permis de détecter le bug a posteriori. Ceci a conduit à la création de la société Polyspace, qui applique l'interprétation abstraite dans de nombreux projets avioniques, spatiaux, automobiles, et plus généralement embarqués. Comme son nom l'indique, la société allemande Absint utilise aussi l'interprétation abstraite pour l'évaluation de performance de programmes. Ses logiciels sont utilisés par Airbus pour évaluer les temps d’exécution de plusieurs systèmes informatiques embarqués dans les Airbus. Plus récemment, le système Astrée développé par l'équipe de Cousot à l'ENS a donné des résultats remarquables sur les code de commande de vol des Airbus A340 et A380: vérification complète de l’absence d’exceptions arithmétiques sur des centaines de milliers de lignes de code, avec zéro fausse alarme. Je considère que ce succès ouvre la voie à bien d'autres réalisations aussi importantes, et que l'interprétation abstraite est devenue une technique fondamentale de la sécurité informatique. Elle est aussi maintenant adoptée dans de plus en plus de compilateurs et d’analyseurs statiques de programmes pour remplacer avantageusement les méthodes ad-hoc traditionnelles.
Comme professeur, Patrick Cousot a énormément enseigné. Comme directeur de thèse, il dirigé beaucoup d'excellents élèves de l'X, de l'ENS, ou d'ailleurs, et on peut dire qu'il a fondé une véritable école. Enfin, il a eu la médaille d'Argent du CNRS et est docteur Honoris Causa de l'Université de Sarre.
L’impact des travaux scientifiques de Patrick Cousot dans la recherche et l’industrie, en particulier pour l’avionique et l’espace, et celui de ses enseignements font que je le considère comme un candidat de tout premier plan pour le grand prix EADS.