Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Patrick_Cousot> ?p ?o }
- Patrick_Cousot abstract "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. As of March 2008, Cousot is a Professor of Computer Science at New York University.He is a knight (Chevalier) in the Ordre National du Mérite and the Ordre des Palmes académiques. 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 ”. Dr. Cousot is a member of the Board of Trustees at the IMDEA Software Institute.".
- Patrick_Cousot award Airbus_Group.
- Patrick_Cousot award Association_for_Computing_Machinery.
- Patrick_Cousot award CNRS_Gold_medal.
- Patrick_Cousot award IEEE_Computer_Society.
- Patrick_Cousot award Saarland_University.
- Patrick_Cousot birthDate "1948-12-03".
- Patrick_Cousot birthYear "1948".
- Patrick_Cousot knownFor Abstract_interpretation.
- Patrick_Cousot nationality France.
- Patrick_Cousot residence New_York.
- Patrick_Cousot spouse Radhia_Cousot.
- Patrick_Cousot thumbnail Patrick_Cousot_0743-c.jpg?width=300.
- Patrick_Cousot wikiPageExternalLink ~pcousot.
- Patrick_Cousot wikiPageExternalLink ~cousot.
- Patrick_Cousot wikiPageExternalLink short.shtml.
- Patrick_Cousot wikiPageExternalLink ~cousot.
- Patrick_Cousot wikiPageID "8208648".
- Patrick_Cousot wikiPageLength "3778".
- Patrick_Cousot wikiPageOutDegree "41".
- Patrick_Cousot wikiPageRevisionID "660040338".
- Patrick_Cousot wikiPageWikiLink Abstract_interpretation.
- Patrick_Cousot wikiPageWikiLink Airbus_Group.
- Patrick_Cousot wikiPageWikiLink Association_for_Computing_Machinery.
- Patrick_Cousot wikiPageWikiLink Astrée_(static_analysis).
- Patrick_Cousot wikiPageWikiLink Avionics.
- Patrick_Cousot wikiPageWikiLink CNRS_Gold_medal.
- Patrick_Cousot wikiPageWikiLink Category:1948_births.
- Patrick_Cousot wikiPageWikiLink Category:French_computer_scientists.
- Patrick_Cousot wikiPageWikiLink Category:Living_people.
- Patrick_Cousot wikiPageWikiLink Category:Ordre_des_Palmes_Académiques_recipients.
- Patrick_Cousot wikiPageWikiLink Category:Programming_language_researchers.
- Patrick_Cousot wikiPageWikiLink Formal_methods.
- Patrick_Cousot wikiPageWikiLink France.
- Patrick_Cousot wikiPageWikiLink Germany.
- Patrick_Cousot wikiPageWikiLink Harlan_Mills.
- Patrick_Cousot wikiPageWikiLink IEEE_Computer_Society.
- Patrick_Cousot wikiPageWikiLink IMDEA.
- Patrick_Cousot wikiPageWikiLink Knight.
- Patrick_Cousot wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Patrick_Cousot wikiPageWikiLink National_Order_of_Merit_(France).
- Patrick_Cousot wikiPageWikiLink New_York.
- Patrick_Cousot wikiPageWikiLink New_York_University.
- Patrick_Cousot wikiPageWikiLink Ordre_des_Palmes_Académiques.
- Patrick_Cousot wikiPageWikiLink Paris.
- Patrick_Cousot wikiPageWikiLink Radhia_Cousot.
- Patrick_Cousot wikiPageWikiLink SIGPLAN.
- Patrick_Cousot wikiPageWikiLink Saarland_University.
- Patrick_Cousot wikiPageWikiLink Static_program_analysis.
- Patrick_Cousot wikiPageWikiLink École_Normale_Supérieure.
- Patrick_Cousot wikiPageWikiLinkText "Patrick Cousot".
- Patrick_Cousot wikiPageWikiLinkText "Patrick".
- Patrick_Cousot almaMater "Université Joseph Fourier Grenoble I".
- Patrick_Cousot birthDate "1948-12-03".
- Patrick_Cousot caption "Dec 2007".
- Patrick_Cousot dateOfBirth "1948-12-03".
- Patrick_Cousot doctoralAdvisor "Michael Griffiths ,Philippe Jorrand".
- Patrick_Cousot knownFor Abstract_interpretation.
- Patrick_Cousot name "Cousot, Patrick".
- Patrick_Cousot name "Patrick Cousot".
- Patrick_Cousot nationality France.
- Patrick_Cousot prizes CNRS_Gold_medal.
- Patrick_Cousot prizes "ACM SIGPLAN Programming Languages Achievement Award".
- Patrick_Cousot prizes "Great prize of the EADS Foundation".
- Patrick_Cousot prizes "IEEE Computer Society Harlan D. Mills Award".
- Patrick_Cousot prizes "honorary doctorate by Saarland University".
- Patrick_Cousot residence New_York.
- Patrick_Cousot shortDescription "French computer scientist".
- Patrick_Cousot spouse Radhia_Cousot.
- Patrick_Cousot thesis1Title "Définition interprétative et implantation de langages de programmation".
- Patrick_Cousot thesis1Year "1974".
- Patrick_Cousot 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".
- Patrick_Cousot thesis2Year "1978".
- Patrick_Cousot wikiPageUsesTemplate Template:Authority_control.
- Patrick_Cousot wikiPageUsesTemplate Template:Commons_category.
- Patrick_Cousot wikiPageUsesTemplate Template:DBLP.
- Patrick_Cousot wikiPageUsesTemplate Template:France-compu-bio-stub.
- Patrick_Cousot wikiPageUsesTemplate Template:Infobox_scientist.
- Patrick_Cousot wikiPageUsesTemplate Template:MathGenealogy.
- Patrick_Cousot wikiPageUsesTemplate Template:Persondata.
- Patrick_Cousot description "French computer scientist".
- Patrick_Cousot description "French computer scientist".
- Patrick_Cousot subject Category:1948_births.
- Patrick_Cousot subject Category:French_computer_scientists.
- Patrick_Cousot subject Category:Living_people.
- Patrick_Cousot subject Category:Ordre_des_Palmes_Académiques_recipients.
- Patrick_Cousot subject Category:Programming_language_researchers.
- Patrick_Cousot hypernym Scientist.
- Patrick_Cousot type Agent.
- Patrick_Cousot type List.
- Patrick_Cousot type Person.
- Patrick_Cousot type Scientist.
- Patrick_Cousot type Person.
- Patrick_Cousot type Designer.
- Patrick_Cousot type List.
- Patrick_Cousot type Member.
- Patrick_Cousot type Scientist.
- Patrick_Cousot type Agent.
- Patrick_Cousot type NaturalPerson.
- Patrick_Cousot type Thing.