Ulf Norell

URI: https://gptkb.org/entity/Ulf_Norell
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:doctoralAdvisor gptkb:Peter_Dybjer
gptkbp:employer gptkb:Chalmers_University_of_Technology
gptkbp:field gptkb:logic
gptkb:programming_language
https://www.w3.org/2000/01/rdf-schema#label Ulf Norell
gptkbp:knownFor gptkb:Agda_(proof_assistant)
gptkbp:nationality Swedish
gptkbp:notableWork gptkb:Agda_2
gptkbp:occupation gptkb:computer_scientist
gptkbp:thesisTitle gptkb:Towards_a_practical_programming_language_based_on_dependent_type_theory
gptkbp:thesisYear 2007
gptkbp:bfsParent gptkb:Agda
gptkbp:bfsLayer 5