Thierry Coquand#
| Membership Number: | 2909 |
| Membership type: | ORDINARY |
| Main Country of Residence: | SWEDEN |
| Section: | INFORMATICS |
| Username: | tcoquand |
| Elected: | 2011 |
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
- Type theory
- Proof theory
- Certified software
- Formal topology
- 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
