Robert L. Constable

URI: https://gptkb.org/entity/Robert_L._Constable
GPTKB entity
Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Princeton_University
gptkbp:awardReceived gptkb:ACM_Fellow
gptkbp:birthYear 1942
gptkbp:doctoralAdvisor gptkb:Stephen_Kleene
gptkbp:employer gptkb:Cornell_University
gptkbp:field gptkb:mathematics
computer science
https://www.w3.org/2000/01/rdf-schema#label Robert L. Constable
gptkbp:knownFor gptkb:Nuprl_proof_development_system
constructive type theory
program verification
gptkbp:memberOf gptkb:Association_for_Computing_Machinery
gptkbp:nationality gptkb:American
gptkbp:notableStudent gptkb:Edmund_M._Clarke
gptkb:Robert_Harper
gptkb:Kurt_Mehlhorn
gptkbp:occupation gptkb:computer_scientist
gptkbp:position gptkb:professor
gptkbp:thesisTitle gptkb:Degrees_of_Unsolvability
gptkbp:thesisYear 1968
gptkbp:bfsParent gptkb:Dana_Scott
gptkb:Hartley_Rogers_Jr.
gptkb:NuPRL
gptkbp:bfsLayer 5