Thierry Coquand#
| Email: | coquand 'at' chalmers.se |
| Membership Number: | 2909 |
| Main Country of Residence: | SWEDEN |
| Section: | INFORMATICS |
| Username: | tcoquand |
Present and Previous Positions
- 1985-89 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
- 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
| operated by | 
|