Robert Constable

URI: https://gptkb.org/entity/Robert_Constable
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Princeton_University
gptkbp:awardReceived gptkb:ACM_Fellow
gptkbp:birthYear 1942
gptkbp:doctoralAdvisor gptkb:Alonzo_Church
gptkbp:employer gptkb:Cornell_University
gptkbp:field gptkb:mathematics
computer science
gptkbp:hasPhD true
https://www.w3.org/2000/01/rdf-schema#label Robert Constable
gptkbp:nationality gptkb:American
gptkbp:notableFor gptkb:Nuprl_proof_development_system
constructive type theory
gptkbp:occupation gptkb:computer_scientist
gptkbp:position gptkb:professor
gptkbp:thesisTitle gptkb:Degrees_of_Unsolvability
gptkbp:bfsParent gptkb:Sir_Robert_Constable
gptkbp:bfsLayer 7