bn:02540589n
Noun Named Entity
AR
Thierry Coquand
EN
Thierry Coquand is a French computer scientist and mathematician who is currently a professor of computer science at the University of Gothenburg, having previously worked at INRIA. Wikipedia
English:
mathematician
computer scientist
Relations
Sources