Thierry Coquand, chaire Schlumberger pour les sciences mathématiques
portrait Thierry Coquand

Thierry Coquand, mathématicien

Chaire Schlumberger pour les sciences mathématiques

Thierry Coquand est professeur en informatique à l'université de Gothenburg, en Suède.

Après des études à l’École normale supérieure de Paris, Thierry Coquand obtient son doctorat sous la direction de Gérard Huet.

Il est connu pour ses travaux en mathématique constructive, notamment sur le calcul des constructions, et sur la représentation formelle des preuves sur ordinateur. Avec Steve Awodey (CMU) et Vladimir Voevodsky (IAS), il a organisé l’année spéciale 2012/2013 sur les fondements univalents des mathématiques à l’IAS.

Page personnelle

Kurt Gödel Centenary Research Prize (2008)
Programming Languages Software Award by ACM SIGPLAN (2013)

Vidéos

Voir tous les professeurs