Andrew M. Pitts

URI: https://gptkb.org/entity/Andrew_M._Pitts
GPTKB entity
Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:awardReceived gptkb:Royal_Society_Wolfson_Research_Merit_Award
gptkbp:doctoralAdvisor gptkb:Gordon_Plotkin
gptkbp:employer gptkb:University_of_Cambridge
gptkbp:field gptkb:logic
gptkb:category_theory
gptkb:semantics_of_programming_languages
theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label Andrew M. Pitts
gptkbp:member gptkb:Fellow_of_the_Royal_Society
gptkbp:nationality British
gptkbp:notableWork gptkb:Nominal_Sets:_Names_and_Symmetry_in_Computer_Science
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent gptkb:Hartley_Rogers_Jr.
gptkbp:bfsLayer 5