Category:Thierry Coquand (computer scientist)

**Thierry Coquand**
	French mathematician, logician and computer scientist
	Upload media
	Wikipedia
Name in native language	Thierry Coquand;
Date of birth	18 April 1961; Isère
Country of citizenship	France;
Educated at	École Normale Supérieure;
Doctoral advisor	Gérard Huet;
Doctoral student	Hugo Herbelin; Lena Magnusson; Daniel Fridlender; Henrik Persson; Pierre Hyvernat; David Wahlstedt; Arnaud Spiwack;
Occupation	mathematician; computer scientist; engineer;
Employer	University of Gothenburg; Chalmers University of Technology; Institut National de Recherche en Informatique et en Automatique;
Member of	Academia Europaea (AE section Informatics, 2011–);
Field of work	computer science;
Notable work	Coq;
Award received	ACM Software System Award (2013);
Authority file
	Q3524190; ISNI: 0000000083281119; VIAF ID: 117236995; GND ID: 122538900; Library of Congress authority ID: n00016832; IdRef ID: 139931422; Nationale Thesaurus voor Auteursnamen ID: 213085054; National Library of Israel J9U ID: 987007452171305171; Mathematics Genealogy Project ID: 137164
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;