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.029098033905029s
router_page: 1x 0.017439126968384s
list-of-people-content: 1x 0.016589164733887s
fmsppl-page-output: 1x 0.010921001434326s
t_/pages/list-of-people: 1x 0.01088285446167s
t_/common/header: 1x 0.0055990219116211s
t_/blocks/list-of-people: 1x 0.002953052520752s
t_/blocks/person-card: 1x 0.0029220581054688s
qids: 2x 0.0020787715911865s
headline: 2x 0.0018479824066162s
t_/common/footer: 1x 0.00034999847412109s
t_/common/head: 1x 0.00024700164794922s
head-facts: 1x 0.00021791458129883s
t_/blocks/switcher: 1x 1.5020370483398E-5s
related: 1x 5.0067901611328E-6s
using-qids-cache: 1x 0s
----- END OF DUMP (2026-06-08 13:57:06)  -----