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.01453685760498s
fmsppl-page-output: 1x 0.0091068744659424s
t_/pages/list-of-people: 1x 0.0090739727020264s
t_/common/header: 1x 0.0049309730529785s
router_page: 1x 0.0048718452453613s
list-of-people-content: 1x 0.0042209625244141s
headline: 2x 0.0024778842926025s
t_/blocks/list-of-people: 1x 0.0020740032196045s
t_/blocks/person-card: 1x 0.0020408630371094s
qids: 2x 0.00094413757324219s
t_/common/head: 1x 0.00028085708618164s
head-facts: 1x 0.0002589225769043s
t_/common/footer: 1x 0.0002291202545166s
t_/blocks/switcher: 1x 1.3828277587891E-5s
related: 1x 3.0994415283203E-6s
using-qids-cache: 1x 0s
----- END OF DUMP (2026-10-27 13:06:10)  -----