Thierry Coquand#


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


Imprint Privacy policy « This page (revision-6) was last changed on Thursday, 26. October 2023, 17:43 by Kaiser Dana
  • operated by