Thierry Coquand#


Thierry Coquand
Email:coquand 'at' chalmers.se
Membership Number:2909
Membership type:ORDINARY
Main Country of Residence:SWEDEN
Section:INFORMATICS
Username:tcoquand
Homepage: 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
  • 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


Imprint Privacy policy « This page (revision-5) was last updated on Tuesday, 1. September 2015, 11:39 by Majkowska Katarzyna
  • operated by