COQUAND Thierry

Thierry Coquand est depuis 1996 professeur en informatique à l'université de Göteborg (Suède). Ses recherches portent sur les mathématiques constructives, la théorie des types et ses applications pour la représentation des preuves sur ordinateur ainsi que la sémantique des langages de programmation. Récipiendaire du prix Kurt Gödel Centenary Research en 2008 pour ses recherches en logique et de l’ACM SIGPLAN Programming Languages Software Award en 2013 pour ses travaux sur les assistants de preuve, il a été professeur invité au Collège de France sur la chaire annuelle Informatique et sciences numériques pour l’année académique 2024-2025.