Thierry Coquand ( francés: [kɔkɑ̃] ; nacido el 18 de abril de 1961 en Jallieu, Isère , Francia) es profesor de informática en la Universidad de Gotemburgo , Suecia. Es conocido por su trabajo en matemáticas constructivas , especialmente el cálculo de construcciones . Recibió su Ph.D. bajo la supervisión de Gérard Huet .
Ver también
enlaces externos
- Página de inicio académica
- Thierry Coquand en el servidor de bibliografía DBLP