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.013988971710205s
fmsppl-page-output: 1x 0.01034688949585s
t_/pages/list-of-people: 1x 0.010311126708984s
t_/common/header: 1x 0.0051078796386719s
router_page: 1x 0.003026008605957s
t_/blocks/list-of-people: 1x 0.0026209354400635s
t_/blocks/person-card: 1x 0.0025768280029297s
list-of-people-content: 1x 0.0022220611572266s
headline: 2x 0.0019540786743164s
t_/common/footer: 1x 0.00039196014404297s
t_/common/head: 1x 0.0001978874206543s
head-facts: 1x 0.00017690658569336s
t_/blocks/switcher: 1x 1.4066696166992E-5s
qids: 1.5x 1.2874603271484E-5s
related: 1x 4.0531158447266E-6s
using-file-qids-cache: 1x 1.9073486328125E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-04-24 17:23:04)  -----