Patrick Cousot is a French computer scientist. 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, 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 |
|---|
| dbpedia-owl:Person/birthDate
| |
| dbpedia-owl:Person/knownFor
| |
| dbpedia-owl:Person/nationality
| |
| dbpedia-owl:Person/residence
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:knownFor
| |
| dbpedia-owl:nationality
| |
| dbpedia-owl:residence
| |
| dbpedia-owl:thumbnail
| |
| dbpprop:abstract
|
- Patrick Cousot is a French computer scientist. 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, 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 in the Ordre National du Mérite and the Ordre des Palmes académiques. In 1999 he received the silver medal of CNRS and in 2006 the great prize of the EADS Foundation. In 2001, he was bestowed an honorary doctorate by Saarland University, Germany.
- Patrick Cousot est enseignant-chercheur en informatique français, professeur à l'École normale supérieure à Paris.
|
| dbpprop:dateOfBirth
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:id
| |
| dbpprop:knownFor
| |
| dbpprop:name
| |
| dbpprop:nationality
| |
| dbpprop:prizes
|
- Silver medal of CNRS
Great prize of the EADS Foundation
honorary doctorate by Saarland University
|
| dbpprop:reference
| |
| dbpprop:residence
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| rdf:type
| |
| rdfs:comment
|
- Patrick Cousot is a French computer scientist. 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, 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.
- Patrick Cousot est enseignant-chercheur en informatique français, professeur à l'École normale supérieure à Paris.
|
| rdfs:label
|
- Patrick Cousot
- Patrick Cousot
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:depiction
| |
| foaf:name
| |
| foaf:page
| |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
