Jump to content

Thierry Coquand

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by KasparBot (talk | contribs) at 01:54, 26 May 2015 (embed authority control with wikidata information). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Trends in Constructive Mathematics (Frauenwörth, June 2006)

Thierry Coquand (born 18 April 1961 in Jallieu, Isère, France) 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.

See also

Template:Persondata


P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This article about a French mathematician is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Thierry_Coquand&oldid=664043527"