Category:Patrick Cousot

**Patrick Cousot**
	French computer scientist
	Upload media
	Wikipedia
Name in native language	Patrick Cousot;
Date of birth	3 December 1948; New York City
Country of citizenship	France;
Residence	New York City;
Educated at	École nationale supérieure des mines de Nancy;
Doctoral student	Antoine Miné; David Monniaux; Jérôme Feret; Nicolas Halbwachs; Eric Goubault;
Occupation	computer scientist; engineer; researcher;
Member of	Academia Europaea (AE section Informatics, 2006–);
Field of work	computer science;
Spouse	Radhia Cousot;
Award received	Harlan D. Mills Award (2014); Programming Languages Achievement Award (2013); honorary doctor of the Saarland University (2001); IEEE John von Neumann Medal (2018); CNRS silver medal (1999);
Authority file
	Q2385483; ISNI: 0000000109863767; VIAF ID: 72073515; GND ID: 1248540026; Library of Congress authority ID: n93078898; Bibliothèque nationale de France ID: 120672289; IdRef ID: 02894061X; NL CR AUT ID: ntk2011669433; Nationale Thesaurus voor Auteursnamen ID: 111374898; NUKAT ID: n99000537; National Library of Israel J9U ID: 987007457339705171; Mathematics Genealogy Project ID: 122541
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

English: Patrick Cousot is a French computer scientist

Media in category "Patrick Cousot"

The following 7 files are in this category, out of 7 total.