Steve Awodey

URI: https://gptkb.org/entity/Steve_Awodey

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Chicago
gptkbp:birthYear	1959
gptkbp:doctoralAdvisor	gptkb:Saunders_Mac_Lane
gptkbp:editor	gptkb:The_Bulletin_of_Symbolic_Logic
gptkbp:employer	gptkb:Carnegie_Mellon_University
gptkbp:field	gptkb:logic gptkb:mathematics gptkb:philosophy gptkb:homotopy_type_theory gptkb:category_theory
https://www.w3.org/2000/01/rdf-schema#label	Steve Awodey
gptkbp:memberOf	gptkb:American_Mathematical_Society gptkb:Association_for_Symbolic_Logic
gptkbp:nationality	gptkb:American
gptkbp:notableWork	gptkb:Category_Theory_(book) work on homotopy type theory
gptkbp:occupation	gptkb:mathematician gptkb:philosopher
gptkbp:position	gptkb:professor
gptkbp:bfsParent	gptkb:homotopy_type_theory
gptkbp:bfsLayer	5