This HTML5 document contains 177 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
n36http://azb.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbrhttp://dbpedia.org/resource/
n41http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n14http://viaf.org/viaf/
schemahttp://schema.org/
n16http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
n34http://www4.wiwiss.fu-berlin.de/dblp/resource/person/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n37http://d-nb.info/gnd/
dbphttp://dbpedia.org/property/
n26http://cs.nyu.edu/~pcousot/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbohttp://dbpedia.org/ontology/
n33https://www.di.ens.fr/~cousot/
dbpedia-pthttp://pt.dbpedia.org/resource/
umbel-rchttp://umbel.org/umbel/rc/
n28https://www.mit.edu/~cousot/
dbchttp://dbpedia.org/resource/Category:
n21http://data.bibliotheken.nl/id/thes/
dbpedia-dehttp://de.dbpedia.org/resource/
n40https://eatcs.org/index.php/component/content/article/1-news/
yagohttp://dbpedia.org/class/yago/
wikidatahttp://www.wikidata.org/entity/
n20http://mg.dbpedia.org/resource/
goldhttp://purl.org/linguistics/gold/
n35https://global.dbpedia.org/id/
yago-reshttp://yago-knowledge.org/resource/
n22https://dblp.org/pid/c/
n31https://www.di.ens.fr/~cousot/cv/
dbpedia-ithttp://it.dbpedia.org/resource/
n42https://orcid.org/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n8http://arz.dbpedia.org/resource/
n5http://www.w3.org/2006/03/wn/wn20/instances/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Patrick_Cousot
rdf:type
yago:YagoLegalActor yago:YagoLegalActorGeo schema:Person yago:ComputerUser109951274 dbo:Species dbo:Person yago:Organism100004475 yago:ResearchWorker110523076 yago:ComputerScientist109951070 dbo:Scientist yago:WikicatFrenchComputerScientists wikidata:Q19088 yago:LivingThing100004258 wikidata:Q901 yago:WikicatFormalMethodsPeople umbel-rc:Scientist yago:WikicatLivingPeople yago:PhysicalEntity100001930 wikidata:Q729 yago:Whole100003553 wikidata:Q5 owl:Thing wikidata:Q215627 yago:Object100002684 yago:WikicatProgrammingLanguageResearchers yago:Scientist110560637 foaf:Person yago:Person100007846 dbo:Eukaryote dbo:Animal n41:NaturalPerson yago:CausalAgent100007347
rdfs:label
Patrick Cousot Patrick Cousot Patrick Cousot 帕特里克·库索 Patrick Cousot Patrick Cousot
rdfs:comment
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. 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 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. 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. 帕特里克·库索（1948年12月3日－）是一位法国计算机科学家。在2000年代，他一直致力于为关键嵌入式软件（如航空电子设备）提供实用的方法。自1991年以来，他一直在巴黎高等师范学院担任计算机科学教授。 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.
foaf:name
Patrick Cousot
dbp:name
Patrick Cousot
foaf:depiction
n16:Patrick_Cousot_0743-c.jpg
dbo:birthDate
1948-12-03
dcterms:subject
dbc:1948_births dbc:Living_people dbc:École_Polytechnique_faculty dbc:Programming_language_researchers dbc:Recipients_of_the_Ordre_des_Palmes_Académiques dbc:French_computer_scientists
dbo:wikiPageID
8208648
dbo:wikiPageRevisionID
1108075095
dbo:wikiPageWikiLink
dbr:Formal_methods dbr:CNRS_Silver_medal dbr:Courant_Institute_of_Mathematical_Sciences dbr:Static_code_analysis dbc:1948_births dbr:EATCS dbr:ACM_Fellow dbr:Humboldt_Research_Award dbr:Ordre_des_Palmes_académiques dbr:New_York_City dbr:Ordre_National_du_Mérite dbr:IEEE_John_von_Neumann_Medal dbr:IEEE_Computer_Society dbr:Ca'_Foscari_University_of_Venice dbr:Abstract_interpretation dbr:Saarland_University dbr:Astrée_(static_analysis) dbr:Joseph_Fourier_University dbr:EADS dbr:École_Nationale_Supérieure_des_Mines_de_Nancy dbr:French_National_Center_for_Scientific_Research dbr:NYU dbr:Association_for_Computing_Machinery dbr:France dbr:SIGPLAN dbr:Avionics dbc:Living_people dbr:École_Normale_Supérieure dbc:École_Polytechnique_faculty dbr:Academia_Europaea dbc:Programming_language_researchers dbr:Germany dbr:IMDEA_Software_Institute dbr:University_of_Metz dbr:IEEE dbr:Knight dbr:École_Polytechnique dbr:MIT dbc:Recipients_of_the_Ordre_des_Palmes_Académiques dbr:Harlan_Mills dbc:French_computer_scientists dbr:Radhia_Cousot dbr:New_York_University
dbo:wikiPageExternalLink
n26: n28: n31:short.shtml n33: n40:2918-the-eatcs-award-2022-laudatio-for-patrick-cousot
owl:sameAs
n8:باتريك_كوسوت dbpedia-it:Patrick_Cousot n20:Patrick_Cousot n14:72073515 n21:p111374898 n22:PCousot freebase:m.026w7nn dbpedia-fr:Patrick_Cousot dbpedia-zh:帕特里克·库索 dbpedia-pt:Patrick_Cousot n34:143645 wikidata:Q2385483 n35:2FjJX n36:پاتریک_کوست n37:1248540026 yago-res:Patrick_Cousot dbpedia-de:Patrick_Cousot n42:0000-0003-0101-9953
dbp:thesis1Title
Définition interprétative et implantation de langages de programmation
dbp:thesis1Year
1974
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
dbp:wikiPageUsesTemplate
dbt:Infobox_scientist dbt:DBLP dbt:Birth_date_and_age dbt:Commons_category dbt:MathGenealogy dbt:France-compu-bio-stub dbt:Authority_control dbt:Short_description
dbo:thumbnail
n16:Patrick_Cousot_0743-c.jpg?width=300
dbp:almaMater
École Nationale Supérieure des Mines de Nancy,Université Joseph Fourier Grenoble I
dbp:birthDate
1948-12-03
dbp:caption
December 2007
dbp:knownFor
dbr:Abstract_interpretation
dbp:nationality
dbr:France
dbp:residence
dbr:New_York_City
dbp:spouse
dbr:Radhia_Cousot
dbo:abstract
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. 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. 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. 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. 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. 帕特里克·库索（1948年12月3日－）是一位法国计算机科学家。在2000年代，他一直致力于为关键嵌入式软件（如航空电子设备）提供实用的方法。自1991年以来，他一直在巴黎高等师范学院担任计算机科学教授。
dbp:doctoralAdvisor
Michael Griffiths ,Philippe Jorrand
dbp:prizes
dbr:CNRS_Silver_medal ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award honorary doctorates by Saarland University and Ca' Foscari University of Venice IEEE John von Neumann Medal ACM Fellow Great prize of the EADS Foundation EATCS Award
gold:hypernym
dbr:Scientist
schema:sameAs
n14:72073515
dbp:wordnet_type
n5:synset-scientist-noun-1
prov:wasDerivedFrom
wikipedia-en:Patrick_Cousot?oldid=1108075095&ns=0
dbo:wikiPageLength
4946
dbo:almaMater
dbr:École_Nationale_Supérieure_des_Mines_de_Nancy
dbo:award
dbr:EADS dbr:ACM_Fellow dbr:Association_for_Computing_Machinery dbr:IEEE_Computer_Society dbr:Saarland_University dbr:IEEE dbr:CNRS_Silver_medal dbr:Ca'_Foscari_University_of_Venice dbr:EATCS
dbo:knownFor
dbr:Abstract_interpretation
dbo:nationality
dbr:France
dbo:residence
dbr:New_York_City
dbo:spouse
dbr:Radhia_Cousot
foaf:isPrimaryTopicOf
wikipedia-en:Patrick_Cousot