Biographie de Patrick Cousot

Image:Patrick Cousot DSC00242.JPG Patrick Cousot (né le 3 décembre 1948) est un informaticien français, professeur à l'Ecole normale supérieure à Paris.

Patrick Cousot est ingénieur de l'Ecole des Mines de Nancy, dont il est sorti en 1971. En 1974, il a soutenu sa thèse de doctorat de 3^e cycle, et en 1978 sa thèse d'Etat 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 a 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 est devenu professeur à l'Ecole Polytechnique, où il a travaillé à fonder le laboratoire d'informatique. En 1991 il est passé à l'Ecole normale supérieure, restant professeur à temps partiel à Polytechnique jusqu'en 1997. Il y est directeur des études d'informatique, et est à la tête de l'équipe de recherche en sémantique et interprétation abstraite. En 2005, il a été professeur invité au Massachusetts Institute of Technology.

Ces dernières années, 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, en 2001 un doctorat honoraire de l'Université de la Sarre, en 2006 un grand prix de la Fondation EADS 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 un grand nombre de publications scientifiques, il a écrit des ouvrages d'initiation à la programmation.