Robert L. Constable

URI: https://gptkb.org/entity/Robert_L._Constable

GPTKB entity

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
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.
gptkbp:bfsLayer	5
https://www.w3.org/2000/01/rdf-schema#label	Robert L. Constable