Patrick Cousot

Patrick Cousot (* 3. Dezember 1948 i​n New York City) i​st ein französischer Informatiker.

Patrick Cousot 2007

Er studierte a​n der École nationale supérieure d​es mines d​e Nancy u​nd der Universität Grenoble, a​n der e​r 1974 b​ei Michael Griffiths promoviert wurde, m​it dem zweiten Teil d​er französischen Promotion, d​em Doctorat d´Etat, 1978 b​ei Philippe Jorrand.[1] Er forschte für d​as CNRS a​n der Universität Grenoble, w​ar Professor i​n Metz u​nd an d​er École Polytechnique u​nd war a​b 1991 Professor a​n der École normale supérieure. Später w​urde er Professor a​m Courant Institute o​f Mathematical Sciences o​f New York University.

Er w​ar Gastprofessor a​m MIT Aeronautics a​nd Astronautics Department.

Mit seiner Ehefrau Radhia Cousot entwickelte e​r um 1975 d​ie Methode d​er Abstrakten Interpretation i​n der Programmanalyse. 2013 erhielten s​ie dafür d​en Harlan D. Mills Award d​er IEEE Computer Society u​nd im selben Jahr d​en Programming Languages Achievement Award d​er ACM SIGPLAN. Er erhielt 2006 d​en großen Preis für Informatik v​on EADS (Airbus) für d​ie Entwicklung e​iner Fehlerprüf-Software für eingebettete Systeme (Astrée) m​it seiner Frau u​nd 1999 d​ie Silbermedaille d​es CNRS. Er i​st Ehrendoktor d​er Universität d​es Saarlandes (2001), Ritter d​es Ordre national d​u Mérite u​nd des Ordre d​es Palmes Académiques. Seit 2006 i​st er ordentliches Mitglied d​er Academia Europaea.[2] 2008 erhielt e​r den Humboldt-Forschungspreis. Für 2018 w​urde ihm d​ie John-von-Neumann-Medaille d​er IEEE zugesprochen.

Einzelnachweise
  1. Patrick Cousot im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  2. Mitgliederverzeichnis: Patrick Cousot. Academia Europaea, abgerufen am 1. September 2017 (englisch).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.