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.01564884185791s
fmsppl-page-output: 1x 0.011487007141113s
t_/pages/list-of-people: 1x 0.011453151702881s
t_/common/header: 1x 0.0061118602752686s
router_page: 1x 0.0036270618438721s
list-of-people-content: 1x 0.0028879642486572s
t_/blocks/list-of-people: 1x 0.0027711391448975s
t_/blocks/person-card: 1x 0.0027291774749756s
headline: 2x 0.0022821426391602s
t_/common/footer: 1x 0.00038790702819824s
qids: 2x 0.00021910667419434s
t_/common/head: 1x 0.00019598007202148s
head-facts: 1x 0.00017380714416504s
t_/blocks/switcher: 1x 2.1934509277344E-5s
related: 1x 1.9073486328125E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2026-08-18 17:10:08)  -----