French mathematician, logician and computer scientist
Verify ownership in 2 minutes. Keeps the profile accurate and discoverable.
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.
No platforms connected yet.
Claim this profile to add yours →The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching