Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Patrick_Cousot> ?p ?o }
- Patrick_Cousot type Person.
- Patrick_Cousot type Scientist.
- Patrick_Cousot type Article.
- Patrick_Cousot type Designer.
- Patrick_Cousot type List.
- Patrick_Cousot type Member.
- Patrick_Cousot type Scientist.
- Patrick_Cousot type Person.
- Patrick_Cousot type Agent.
- Patrick_Cousot type NaturalPerson.
- Patrick_Cousot type Thing.
- Patrick_Cousot type Q215627.
- Patrick_Cousot type Q5.
- Patrick_Cousot type Q901.
- Patrick_Cousot type Person.
- Patrick_Cousot 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.".
- Patrick_Cousot label "Patrick Cousot".
- Patrick_Cousot sameAs Patrick_Cousot.
- Patrick_Cousot sameAs Patrick_Cousot.
- Patrick_Cousot sameAs m.026w7nn.
- Patrick_Cousot sameAs Q2385483.
- Patrick_Cousot sameAs Q2385483.
- Patrick_Cousot wasDerivedFrom Patrick_Cousot?oldid=660040338.
- Patrick_Cousot depiction Patrick_Cousot_0743-c.jpg.
- Patrick_Cousot givenName "Patrick".
- Patrick_Cousot isPrimaryTopicOf Patrick_Cousot.
- Patrick_Cousot name "Cousot, Patrick".
- Patrick_Cousot name "Patrick Cousot".
- Patrick_Cousot surname "Cousot".