Thorsten Altenkirch

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Edinburgh
gptkbp:birthYear	1965
gptkbp:doctoralAdvisor	gptkb:Peter_Aczel
gptkbp:employer	gptkb:University_of_Nottingham
gptkbp:field	gptkb:logic gptkb:homotopy_type_theory gptkb:category_theory functional programming
gptkbp:knownFor	gptkb:homotopy_type_theory contributions to type theory
gptkbp:nationality	gptkb:German
gptkbp:notableWork	gptkb:Agda
gptkbp:occupation	gptkb:computer_scientist
gptkbp:bfsParent	gptkb:homotopy_type_theory
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Thorsten Altenkirch