معرفی
Thierry Coquand is a Professor at the Department of Computer Science and Engineering at the University of Gothenburg. He is a member of the Academy of Europe (elected 2011) and has held visiting positions at institutions including Carnegie Mellon University, Chalmers University of Technology, and the Institute for Advanced Study (Princeton).
- Education: Ranked 1st at École Normale Supérieure Ulm (1980), Agrégation de mathematique (1982), PhD in Computer Science (Paris VII, 1985)
His research focuses on Type Theory, Constructive Mathematics, Formal Proofs, and Univalent Foundations. He has contributed to the development of Program Correctness frameworks and Functional Programming paradigms.
His recent publications and talks explore intersections between Algebraic Topology, Category Theory, and Type Theory, particularly in sheaf models and cubical sets.
- Scientific Awards:
- Wallmarska Prize (2001)
- Skolem Lecturer (2005)
- Kurt Gödel Centenary Research Prize Fellowship (2008)
- ERC Advanced Grant (2010, 2022)
- Wallenberg Scholar (2014-2018)
- Wallenberg Project (2020-2024)
- Students:
- Hugo Herbelin (1995)
- Lena Magnusson (1995)
- Daniel Friedlender (1997)
- Henrik Persson (1999)
- Pierre Hyvernat (2005)
- David Wahlsted (2007)
- Organizational Roles: Co-organizer of the Univalent Foundations Program at IAS (2012-2013), editor of special issues on Formal Topology, and member of program committees for conferences like POPL and LICS.
۰مقاله منتشرشده
