Peter Lumsdaine

URI: https://gptkb.org/entity/Peter_Lumsdaine
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkb:mathematician
gptkbp:affiliation gptkb:Stockholm_University
gptkbp:doctoralAdvisor gptkb:Steve_Awodey
gptkbp:field gptkb:logic
gptkb:mathematics
gptkb:homotopy_type_theory
gptkb:category_theory
gptkbp:formerPosition gptkb:Carnegie_Mellon_University
gptkb:University_of_Chicago
gptkb:University_of_Stockholm
https://www.w3.org/2000/01/rdf-schema#label Peter Lumsdaine
gptkbp:nationality gptkb:American
gptkbp:notableWork work on homotopy type theory
gptkbp:bfsParent gptkb:homotopy_type_theory
gptkbp:bfsLayer 5