Patrick Cousot

Patrick Cousot est ingénieur de l'École des Mines de Nancy, dont il est diplômé en 1971. En 1974, il soutient sa thèse de doctorat de 3^e cycle, et en 1978 sa thèse d'État en sciences mathématiques à l'Université de Grenoble ; cette dernière portait sur la formulation de l'interprétation abstraite, son principal sujet de recherche depuis. Il s'agit d'une théorie de l'approximation du comportement des programmes informatiques, permettant notamment d'en faire des analyses automatiques.

En 1974 il rejoint le CNRS. En 1979, il est devenu professeur des universités à Metz, où il a travaillé à la mise en place des enseignements d'informatique. En 1984, il devient professeur à l'École polytechnique, où il travaille à fonder le laboratoire d'informatique de l'École polytechnique (LIX). En 1991, il rejoint l'École normale supérieure, restant professeur à temps partiel à Polytechnique jusqu'en 1997. Il y devient directeur des études d'informatique et de l'équipe de recherche en sémantique et interprétation abstraite. En 2005, il fut professeur invité au Massachusetts Institute of Technology. Depuis 2017, il est professeur émérite au sein département d'informatique de l'ENS et professeur au Courant Institute of Mathematical Sciences, New York University.

Depuis 2002, il s'est notamment intéressé à la réalisation de logiciels d'analyse statique pour la vérification de propriétés de sûreté de systèmes embarqués critiques, tels que ceux rencontrés en aviation. Il est à l'initiation du projet Astrée[3].

En 1999, il a reçu la médaille d'argent du CNRS[4], en 2001 un doctorat honoraire de l'Université de la Sarre, en 2006 un grand prix de la Fondation EADS[5] récompensant une recherche qui a eu des applications industrielles. Il est le lauréat 2022 du prix EATCS[6].

Il est chevalier de l'Ordre national du Mérite et membre de l'Academia Europaea.

Outre ses publications scientifiques, il a écrit, en collaboration avec son épouse Radhia, des ouvrages d'initiation à la programmation, la plupart publiés comme notes de cours ; à noter toutefois :

• Patrick Cousot, Algorithmique et programmation en pascal : cours, Ellipses, 1992 (ISBN 2-7298-9202-8, SUDOC 002859319)

La synthèse de l'interprétation abstraite est dans le livre suivant :

• Patrick Cousot, Principles of abstract interpretation, Cambridge, MA, MIT Press, 2021, ix + 819 (ISBN 978-0-262-36152-1, zbMATH 1494.68002)

• (en) Page personnelle de Patrick Cousot
• (en) Biographie
• Portrait et zoom sur les travaux de recherche sur le site internet de la Fondation
• Ressources relatives à la recherche :
  • Google Scholar
  • (en) Digital Bibliography & Library Project
  • (en) Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Belgique
  • Pays-Bas
  • Israël
  • NUKAT
  • Tchéquie
  • WorldCat