Patrick Cousot

Biographie
Naissance	3 décembre 1948 (75 ans); New York
Nationalité	française
Domicile	New York
Formation	École nationale supérieure des mines de Nancy
Activités	Informaticien, ingénieur, chercheur
Conjoint	Radhia Cousot
Membre de	Academia Europaea (2006)
Maîtres	Michael Griffiths (d), Philippe Jorrand (d)
Distinctions	Liste détaillée Médaille d'argent du CNRS (1999); Docteur honoris causa de l'université de la Sarre (2001); Programming Languages Achievement Award (2013); Prix Harlan D. Mills (2014); Médaille John von Neumann (2018)

Patrick Cousot (né le 3 décembre 1948) est enseignant-chercheur en informatique français, professeur émérite à l'École normale supérieure à Paris.

Avec son épouse Radhia Cousot, il définit l'interprétation abstraite^[1]^,^[2], une technique de méthode formelle. À ce titre, ils reçoivent l'ACM SIGPLAN en 2013 et le prix Harlan D. Mills de l'IEEE Computer Society en 2014.

Parcours

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.

Ces dernières années^[Quand ?], 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.

En 1999, il a reçu la médaille d'argent du CNRS^[3], en 2001 un doctorat honoraire de l'Université de la Sarre, en 2006 un grand prix de la Fondation EADS^[4] récompensant une recherche qui a eu des applications industrielles. 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 quelques ouvrages d'initiation à la programmation.

Notes et références

Liens externes

(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 :
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Tchéquie
- WorldCat

Portail de l’informatique

[1] Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Pages 238-252, ACM New York, NY, USA

[2] Systematic design of program analysis frameworks, POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Pages 269-282, ACM New York, NY, USA

[3] CNRS, « Médailles d'argent du CNRS 1999 », sur http://www.cnrs.fr, 1999 (consulté le 31 juillet 2014).

[4] Portrait et zoom sur les travaux de recherche de Patrick Cousot sur le site de la Fondation d'entreprise EADS.

[1]

[2]

[3]

[4]