Patrick Cousot

Patrick Cousot
Patrick Cousot donnant une conférence à l'EPFL en 2007

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

Parcours

Patrick Cousot est ingénieur de l'École des Mines de Nancy, dont il sort en 1971. En 1974, il soutient sa thèse de doctorat de 3e 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. En 1991 il passe à l'École 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 fut professeur invité au Massachusetts Institute of Technology.

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, en 2001 un doctorat honoraire de l'Université de la Sarre, en 2006 un grand prix de la Fondation EADS[1] 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 les membres de sa famille quelques ouvrages d'initiation à la programmation.

Notes et références

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Patrick Cousot de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Patrick Cousot — Infobox Scientist name = Patrick Cousot box width = image width = caption = birth date = 3 December 1948 birth place = death date = death place = residence = Paris citizenship = nationality = French ethnicity = field = work institutions = alma… …   Wikipedia

  • Abstrakte Interpretation — Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen über das Verhalten von Programmen (Analyse der Semantik) zu bekommen, indem man von Teilen des Programms… …   Deutsch Wikipedia

  • Interpretation abstraite — Interprétation abstraite L interprétation abstraite est une théorie d approximation de la sémantique de programmes informatiques basée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice).… …   Wikipédia en Français

  • Interprétation Abstraite — L interprétation abstraite est une théorie d approximation de la sémantique de programmes informatiques basée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice). Elle peut être définie… …   Wikipédia en Français

  • Interprétation abstraite — L interprétation abstraite est une théorie d approximation de la sémantique de programmes informatiques fondée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice). Elle peut être définie… …   Wikipédia en Français

  • Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… …   Wikipedia

  • Nancy — Cet article concerne la ville française. Pour les autres significations, voir Nancy (homonymie). 48° 41′ 37″ N 6° 11′ 05″  …   Wikipédia en Français

  • 1948 en science — Années : 1945 1946 1947  1948  1949 1950 1951 Décennies : 1910 1920 1930  1940  1950 1960 1970 Siècles : XIXe siècle  XXe siècl …   Wikipédia en Français

  • Ordre des Palmes Académiques — The medal of the officier of the Order Awarded by …   Wikipedia

  • François Bourdoncle — François Bourdoncle, né le 20 avril 1964 à Rodez (Aveyron), est le co fondateur et actuel Directeur de la Stratégie d Exalead. Sommaire …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”