Thierry Coquand
French mathematician, logician and computer scientist · France · On the map · Academics · Born 1961 · age 65
Thierry Coquand is a French computer scientist and mathematician who is since 1996 a professor of computer science at the University of Gothenburg, having formerly worked at INRIA. He is known for his work in constructive mathematics, especially the calculus of constructions.
Thierry Coquand is read about 34 times a day, in 9 languages.
A typical day, 30 days to 10 October 2026
The middle day of the days counted, so one week of news cannot move it. The line under it is the last 120 days, one point a day.
Something wrong?Also in Français
Awards
About this person
Country
France
Category
Academics
Type
Academic
Status
Living
Dates
Born 1961 · age 65