About: Patrick Cousot

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure (ENS), Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France.

thumbnail
Property Value
dbo:abstract
  • 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 promoviert wurde, mit dem zweiten Teil der französischen Promotion, dem Doctorat d´Etat, 1978 bei . Er forschte für das CNRS an der Universität Grenoble, war Professor in Metz und an der École polytechnique und war ab 1991 Professor an der École normale supérieure. 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 . 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. Seit 2006 ist er ordentliches Mitglied der Academia Europaea. 2008 erhielt er den Humboldt-Forschungspreis. Für 2018 wurde ihm die John-von-Neumann-Medaille der IEEE zugesprochen, für 2022 der EATCS-Award der European Association for Theoretical Computer Science. (de)
  • 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, une technique de méthode formelle. À ce titre, ils reçoivent le Programming Languages Achievement Award in 2013 de l'ACM SIGPLAN en 2013 et le prix Harlan D. Mills de l'IEEE Computer Society en 2014. (fr)
  • Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure (ENS), Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France. Together with his wife Radhia Cousot (1947–2014), Patrick 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. 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". He received a Humboldt Research Award in 2008 and the 2018 IEEE John von Neumann Medal "for introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimisation". In 2020 Cousot was recognized ACM Fellow "for contributions to programming languages through the invention and development of abstract interpretation". In 2022, Cousot was awarded an honorary doctorate from Ca' Foscari University of Venice. He received the 2022 EATCS award, which is given by EATCS to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career. He is a knight (Chevalier) in the Ordre National du Mérite and the Ordre des Palmes académiques, member of the Academia Europaea, Informatics section (since 2006) and member of the Board of Trustees at the IMDEA Software Institute. (en)
  • Patrick Cousot (Pont-l'Évêque, 3 dicembre 1948) è un informatico francese. Insieme alla moglie (1947–2014), Cousot è il creatore dell'interpretazione astratta, una tecnica molto utilizzata per la verifica e l'ottimizzazione di programmi. Negli anni 2000 ha lavorato all' di software integrati ad alta criticità come quelli usati in avionica. È stato professore di informatica all'École Normale Supérieure (ENS) a Parigi fin dal 1991. Dal 2008, Cousot è professore di informatica all'Università di New York. Patrick Cousot è cavaliere dell'Ordine nazionale al merito (francese) dell'Ordine delle Palme accademiche. Nel 1999 ha ricevuto la medaglia d'argento del CRNS e nel 2006 il gran premio della fondazione EADS. Nel 2001, ha ricevuto un dottorato ad honorem dall'Università del Saarland, Germania. Insieme a Radhia Cousot, ha ricevuto nel 2013 il Programming Languages Achievement Award conferito dall'ACM , nel 2014 ha ricevuto insieme a sua moglie il premio dall'IEEE Computer Society. (it)
  • Patrick Cousot (3 de dezembro de 1948) é um cientista da computação francês. Juntamente com sua mulher (1947–2014) é originador da , uma influente técnica em métodos formais. Na década de 2000 trabalhou com métodos práticos de . Foi professor de ciência da computação da Escola Normal Superior de Paris desde 1991. Em março de 2008 tornou-se professor de ciênmcia da computação da Universidade de Nova Iorque. É cavaleiro da Ordem Nacional do Mérito e da Ordem das Palmas Acadêmicas. Recebeu a Medalha John von Neumann IEEE de 2018. (pt)
  • 帕特里克·库索（1948年12月3日－）是一位法国计算机科学家。在2000年代，他一直致力于为关键嵌入式软件（如航空电子设备）提供实用的方法。自1991年以来，他一直在巴黎高等师范学院担任计算机科学教授。 (zh)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1948-12-03 (xsd:date)
dbo:knownFor
dbo:nationality
dbo:residence
dbo:spouse
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8208648 (xsd:integer)
dbo:wikiPageLength
  • 4946 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1108075095 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
  • École Nationale Supérieure des Mines de Nancy,Université Joseph Fourier Grenoble I (en)
dbp:birthDate
  • 1948-12-03 (xsd:date)
dbp:caption
  • December 2007 (en)
dbp:doctoralAdvisor
  • Michael Griffiths ,Philippe Jorrand (en)
dbp:knownFor
dbp:name
  • Patrick Cousot (en)
dbp:nationality
dbp:prizes
  • dbr:CNRS_Silver_medal
  • ACM Fellow (en)
  • IEEE John von Neumann Medal (en)
  • EATCS Award (en)
  • Great prize of the EADS Foundation (en)
  • IEEE Computer Society Harlan D. Mills Award (en)
  • ACM SIGPLAN Programming Languages Achievement Award (en)
  • honorary doctorates by Saarland University and Ca' Foscari University of Venice (en)
dbp:residence
dbp:spouse
dbp:thesis1Title
  • Définition interprétative et implantation de langages de programmation (en)
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 (en)
dbp:thesis2Year
  • 1978 (xsd:integer)
dbp:wikiPageUsesTemplate
dbp:wordnet_type
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • 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, une technique de méthode formelle. À ce titre, ils reçoivent le Programming Languages Achievement Award in 2013 de l'ACM SIGPLAN en 2013 et le prix Harlan D. Mills de l'IEEE Computer Society en 2014. (fr)
  • Patrick Cousot (3 de dezembro de 1948) é um cientista da computação francês. Juntamente com sua mulher (1947–2014) é originador da , uma influente técnica em métodos formais. Na década de 2000 trabalhou com métodos práticos de . Foi professor de ciência da computação da Escola Normal Superior de Paris desde 1991. Em março de 2008 tornou-se professor de ciênmcia da computação da Universidade de Nova Iorque. É cavaleiro da Ordem Nacional do Mérito e da Ordem das Palmas Acadêmicas. Recebeu a Medalha John von Neumann IEEE de 2018. (pt)
  • 帕特里克·库索（1948年12月3日－）是一位法国计算机科学家。在2000年代，他一直致力于为关键嵌入式软件（如航空电子设备）提供实用的方法。自1991年以来，他一直在巴黎高等师范学院担任计算机科学教授。 (zh)
  • 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 promoviert wurde, mit dem zweiten Teil der französischen Promotion, dem Doctorat d´Etat, 1978 bei . Er forschte für das CNRS an der Universität Grenoble, war Professor in Metz und an der École polytechnique und war ab 1991 Professor an der École normale supérieure. Später wurde er Professor am Courant Institute of Mathematical Sciences of New York University. (de)
  • Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure (ENS), Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France. (en)
  • Patrick Cousot (Pont-l'Évêque, 3 dicembre 1948) è un informatico francese. Insieme alla moglie (1947–2014), Cousot è il creatore dell'interpretazione astratta, una tecnica molto utilizzata per la verifica e l'ottimizzazione di programmi. Negli anni 2000 ha lavorato all' di software integrati ad alta criticità come quelli usati in avionica. È stato professore di informatica all'École Normale Supérieure (ENS) a Parigi fin dal 1991. Dal 2008, Cousot è professore di informatica all'Università di New York. Patrick Cousot è cavaliere dell'Ordine nazionale al merito (francese) dell'Ordine delle Palme accademiche. Nel 1999 ha ricevuto la medaglia d'argento del CRNS e nel 2006 il gran premio della fondazione EADS. Nel 2001, ha ricevuto un dottorato ad honorem dall'Università del Saarland, Germa (it)
rdfs:label
  • Patrick Cousot (de)
  • Patrick Cousot (it)
  • Patrick Cousot (fr)
  • Patrick Cousot (en)
  • Patrick Cousot (pt)
  • 帕特里克·库索 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Patrick Cousot (en)
is dbo:spouse of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:spouse of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License