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

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

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dchttp://purl.org/dc/elements/1.1/
n6http://commons.wikimedia.org/wiki/Special:FilePath/Patrick_Cousot_0743-c.jpg?width=
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://commons.wikimedia.org/wiki/Special:FilePath/Patrick_Cousot_0743-c.
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Patrick_Cousot
rdfs:comment
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.
foaf:name
Cousot, Patrick Patrick Cousot
foaf:depiction
n7:jpg
dc:description
French computer scientist
dbpedia-owl:award
dbpedia:Saarland_University dbpedia:CNRS_Gold_medal dbpedia:Airbus_Group dbpedia:IEEE_Computer_Society dbpedia:Association_for_Computing_Machinery
dbpedia-owl:birthDate
1948-12-03Z
dbpedia-owl:birthYear
1948-01-01Z
dbpedia-owl:knownFor
dbpedia:Abstract_interpretation
dbpedia-owl:nationality
dbpedia:France
dbpedia-owl:residence
dbpedia:New_York
dbpedia-owl:spouse
dbpedia:Radhia_Cousot
dbpedia-owl:thumbnail
n6:300