Thierry Coquand

URI: https://gptkb.org/entity/Thierry_Coquand
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Paris_VII
gptkbp:birthYear 1961
gptkbp:doctoralAdvisor gptkb:Gérard_Huet
gptkbp:employer gptkb:University_of_Gothenburg
gptkbp:field gptkb:logic
computer science
https://www.w3.org/2000/01/rdf-schema#label Thierry Coquand
gptkbp:knownFor gptkb:logic
gptkb:Coquand's_algorithm
co-creator of the Calculus of Constructions
gptkbp:nationality gptkb:French
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent gptkb:Calculus_of_Inductive_Constructions
gptkb:Cubical_Type_Theory
gptkb:Homotopy_Type_Theory:_Univalent_Foundations_of_Mathematics
gptkbp:bfsLayer 6