Thierry Coquand#
Membership Number: | 2909 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2011 |
Main Country of Residence: | SWEDEN |
Homepage(s): | http://www.cse.chalmers.se/~coquand |
Present and Previous Positions
- 1985 - 1989 Chargé de recherche, INRIA
- 1985 Visiting scientist, Carnegie Mellon University
- 1989 Directeur de recherche, INRIA
- 1990 - 1991 Visiting scientist, Chalmers University of Technology
- 1991 - 1996 Research fellow, Chalmers University of Technology
- Since 1996 Professor, University of Gothenburg
Fields of Scholarship
- Formal topology
- Proof theory
- Certified software
- Type theory
- Constructive mathematics
Honours and Awards
- 2001 Wallmarska prize, from the Swedish Royal Academy of Science
- 2005 Skolem lecturer, Oslo
- 2008 Kurt Gödel centenary reasearch prize fellowship, category senior, a personal prize of $ 120 000 US
- ERC Advanced Grant holder, 2010
- 2011 Member of the Council of the Association for Symbolic Logic
- 2011 Member of the Royal Society of Arts and Sciences in Gothenburg
- 2014 - 2018 Wallenberg Scholar
- 2012 - 2013 Co-organiser (with Vladimir Voevodsky and Steve Awodey) of a special year on Univalent Foundation at the IAS, Princeton
- 2013 ACM SIGPLAN Programming Language Award
- 2013 ACM Software System Award
- 2020 - 2024 Wallenberg Project, in collaboration with Peter Lumsdaine, Stockholm University
- 2022 ERC Advanced Grant holder