Lista de Personas Famosas con el apellido Coquand
Thierry Coquand is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.
index: 1x 0.018635034561157s
fmsppl-page-output: 1x 0.011581897735596s
t_/pages/list-of-people: 1x 0.011546850204468s
t_/common/header: 1x 0.0064830780029297s
router_page: 1x 0.006227970123291s
list-of-people-content: 1x 0.00559401512146s
headline: 2x 0.0027542114257812s
t_/blocks/list-of-people: 1x 0.0024230480194092s
t_/blocks/person-card: 1x 0.0023858547210693s
qids: 2x 0.0018260478973389s
t_/common/footer: 1x 0.00034713745117188s
t_/common/head: 1x 0.00022697448730469s
head-facts: 1x 0.00020718574523926s
t_/blocks/switcher: 1x 2.6941299438477E-5s
related: 1x 2.8610229492188E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-04-24 16:59:04) -----