List of Famous people with last name Coquand

Thierry Coquand

First Name Thierry

Last Name Coquand

Born on April 18, 1961 (age 65)

Born in France, Auvergne-Rhône-Alpes

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.021020174026489s
fmsppl-page-output: 1x 0.014244079589844s
t_/pages/list-of-people: 1x 0.014191865921021s
t_/common/header: 1x 0.0083250999450684s
router_page: 1x 0.006072998046875s
list-of-people-content: 1x 0.0050849914550781s
t_/blocks/list-of-people: 1x 0.0030181407928467s
t_/blocks/person-card: 1x 0.0029680728912354s
headline: 2x 0.0026700496673584s
qids: 2x 0.0013477802276611s
t_/common/head: 1x 0.0010550022125244s
head-facts: 1x 0.0010099411010742s
t_/common/footer: 1x 0.00033402442932129s
t_/blocks/switcher: 1x 2.3126602172852E-5s
related: 1x 5.0067901611328E-6s
using-qids-cache: 1x 1.1920928955078E-6s
----- END OF DUMP (2026-09-08 10:40:09)  -----