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.014860153198242s
fmsppl-page-output: 1x 0.0095629692077637s
t_/pages/list-of-people: 1x 0.0095179080963135s
t_/common/header: 1x 0.0051610469818115s
router_page: 1x 0.0047440528869629s
list-of-people-content: 1x 0.0041549205780029s
t_/blocks/list-of-people: 1x 0.0019869804382324s
headline: 2x 0.001957893371582s
t_/blocks/person-card: 1x 0.0019400119781494s
qids: 2x 0.0010008811950684s
t_/common/head: 1x 0.00025105476379395s
t_/common/footer: 1x 0.00024104118347168s
head-facts: 1x 0.00021791458129883s
t_/blocks/switcher: 1x 2.8848648071289E-5s
related: 1x 5.0067901611328E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-07-01 18:41:07)  -----