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.024281978607178s
fmsppl-page-output: 1x 0.015757083892822s
t_/pages/list-of-people: 1x 0.015698909759521s
router_page: 1x 0.0072979927062988s
t_/common/header: 1x 0.0067570209503174s
list-of-people-content: 1x 0.0059340000152588s
headline: 2x 0.0030779838562012s
t_/blocks/list-of-people: 1x 0.0029778480529785s
t_/blocks/person-card: 1x 0.002924919128418s
qids: 2x 0.0012760162353516s
t_/common/footer: 1x 0.00036501884460449s
t_/common/head: 1x 0.00029993057250977s
head-facts: 1x 0.00026082992553711s
t_/blocks/switcher: 1x 2.5033950805664E-5s
related: 1x 5.9604644775391E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-07-27 10:07:07)  -----