Patrick Cousot (born 3 December 1948) is a French computer scientist. Together with his wife Radhia (1947–2014), Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software (Astrée), such as found in avionics. He has been Professor of Computer Science at the École Normale Supérieure (ENS) in Paris since 1991. As of March 2008, Cousot is a Professor of Computer Science at New York University.

Property Value
dbo:abstract
  • Patrick Cousot (né le 3 décembre 1948) est enseignant-chercheur en informatique français, professeur à l'École normale supérieure à Paris. (fr)
  • Patrick Cousot (* 3. Dezember 1948 in New York City) ist ein französischer Informatiker. Er studierte an der École nationale supérieure des mines de Nancy und der Universität Grenoble, an der er 1974 bei Michael Griffiths promoviert wurde, mit dem zweiten Teil der französischen Promotion, dem Doctorat d´Etat, 1978 bei Philippe Jorrand. Er forschte für das CNRS an der Universität Grenoble, war Professor in Metz und an der Ecole Polytechnique und war ab 1991 Professor an der Ecole Normale Superieure. Später wurde er Professor am Courant Institute of Mathematical Sciences of New York University. Er war Gastprofessor am MIT Aeronautics and Astronautics Department. Mit seiner Ehefrau Radhia Cousot entwickelte er um 1975 die Methode der Abstrakten Interpretation in der Programmanalyse. 2013 erhielten sie dafür den Harlan D. Mills Award der IEEE Computer Society und im selben Jahr den Programming Languages Achievement Award der ACM SIGPLAN. Er erhielt 2006 den großen Preis für Informatik von EADS (Airbus) für die Entwicklung einer Fehlerprüf-Software für eingebettete Systeme (Astrée) mit seiner Frau und 1999 die Silbermedaille des CNRS. Er ist Ehrendoktor der Universität des Saarlandes (2001), Ritter des Ordre National du Mérite und des Ordre des Palmes académiques. 2008 erhielt er den Humboldt-Forschungspreis. (de)
  • Patrick Cousot (born 3 December 1948) is a French computer scientist. Together with his wife Radhia (1947–2014), Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software (Astrée), such as found in avionics. He has been Professor of Computer Science at the École Normale Supérieure (ENS) in Paris since 1991. As of March 2008, Cousot is a Professor of Computer Science at New York University. He is a knight (Chevalier) in the Ordre National du Mérite and the Ordre des Palmes académiques. In 1999 he received the CNRS Silver medal and in 2006 the great prize of the EADS Foundation. In 2001, he was bestowed an honorary doctorate by Saarland University, Germany. With Radhia Cousot, he received the ACM SIGPLAN Programming Languages Achievement Award in 2013 and the IEEE Computer Society Harlan D. Mills award in 2014; “ For the invention of ‘abstract interpretation’, development of tool support, and its practical application ”. Dr. Cousot is a member of the Board of Trustees at the IMDEA Software Institute. (en)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1948-12-03 (xsd:date)
  • 1948-12-3
dbo:knownFor
dbo:nationality
dbo:residence
dbo:spouse
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8208648 (xsd:integer)
dbo:wikiPageRevisionID
  • 744991729 (xsd:integer)
dbp:caption
  • Dec 2007
dbp:doctoralAdvisor
  • Michael Griffiths ,Philippe Jorrand
dbp:thesis1Title
  • Définition interprétative et implantation de langages de programmation
dbp:thesis1Year
  • 1974 (xsd:integer)
dbp:thesis2Title
  • Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
dbp:thesis2Year
  • 1978 (xsd:integer)
dbp:wordnet_type
dct:description
  • French computer scientist (en)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Patrick Cousot (né le 3 décembre 1948) est enseignant-chercheur en informatique français, professeur à l'École normale supérieure à Paris. (fr)
  • Patrick Cousot (born 3 December 1948) is a French computer scientist. Together with his wife Radhia (1947–2014), Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software (Astrée), such as found in avionics. He has been Professor of Computer Science at the École Normale Supérieure (ENS) in Paris since 1991. As of March 2008, Cousot is a Professor of Computer Science at New York University. (en)
  • Patrick Cousot (* 3. Dezember 1948 in New York City) ist ein französischer Informatiker. Er studierte an der École nationale supérieure des mines de Nancy und der Universität Grenoble, an der er 1974 bei Michael Griffiths promoviert wurde, mit dem zweiten Teil der französischen Promotion, dem Doctorat d´Etat, 1978 bei Philippe Jorrand. Er forschte für das CNRS an der Universität Grenoble, war Professor in Metz und an der Ecole Polytechnique und war ab 1991 Professor an der Ecole Normale Superieure. Später wurde er Professor am Courant Institute of Mathematical Sciences of New York University. (de)
rdfs:label
  • Patrick Cousot (de)
  • Patrick Cousot (fr)
  • Patrick Cousot (en)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:gender
  • male (en)
foaf:givenName
  • Patrick (en)
foaf:isPrimaryTopicOf
foaf:name
  • Patrick Cousot (en)
foaf:surname
  • Cousot (en)
is foaf:primaryTopic of