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.
Photos 1
Awards 1
Connected to Thierry 6
About this person
Country
Category
Academics
Type
Academic
Status
living
Dates
Born 1961 · age 65
Written about in
9 languages
Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.