List of Famous people with last name Coquand

Thierry Coquand

First Name Thierry
Last Name Coquand
Born on April 18, 1961 (age 65)

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.

Know him/her \
Don't know him/her
    index: 1x 0.019378185272217s
fmsppl-page-output: 1x 0.01423192024231s
t_/pages/list-of-people: 1x 0.014183044433594s
t_/common/header: 1x 0.0080089569091797s
router_page: 1x 0.0041120052337646s
t_/blocks/list-of-people: 1x 0.0030150413513184s
list-of-people-content: 1x 0.0029981136322021s
headline: 2x 0.002974271774292s
t_/blocks/person-card: 1x 0.0029361248016357s
t_/common/head: 1x 0.00042414665222168s
head-facts: 1x 0.00038599967956543s
t_/common/footer: 1x 0.00036811828613281s
t_/blocks/switcher: 1x 1.5974044799805E-5s
qids: 1.5x 1.0013580322266E-5s
related: 1x 4.0531158447266E-6s
using-file-qids-cache: 1x 9.5367431640625E-7s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-06-08 15:16:06)  -----