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.01620078086853s
fmsppl-page-output: 1x 0.011735200881958s
t_/pages/list-of-people: 1x 0.011703968048096s
t_/common/header: 1x 0.0053539276123047s
router_page: 1x 0.0038740634918213s
list-of-people-content: 1x 0.0033440589904785s
t_/blocks/list-of-people: 1x 0.0024259090423584s
t_/blocks/person-card: 1x 0.0023858547210693s
headline: 2x 0.0019311904907227s
qids: 2x 0.00094199180603027s
t_/common/footer: 1x 0.0003049373626709s
t_/common/head: 1x 0.00025820732116699s
head-facts: 1x 0.00023698806762695s
t_/blocks/switcher: 1x 2.5033950805664E-5s
related: 1x 3.0994415283203E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-10-03 06:09:10)  -----