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.024235963821411s
router_page: 1x 0.013084173202515s
list-of-people-content: 1x 0.012588024139404s
fmsppl-page-output: 1x 0.010435104370117s
t_/pages/list-of-people: 1x 0.010396003723145s
t_/common/header: 1x 0.0056979656219482s
t_/blocks/list-of-people: 1x 0.0023150444030762s
headline: 2x 0.0023119449615479s
t_/blocks/person-card: 1x 0.0022580623626709s
qids: 2x 0.0014441013336182s
t_/common/head: 1x 0.0003058910369873s
head-facts: 1x 0.00027894973754883s
t_/common/footer: 1x 0.00026893615722656s
t_/blocks/switcher: 1x 2.1934509277344E-5s
related: 1x 3.0994415283203E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-05-19 09:39:05)  -----