Robert Soare

URI: https://gptkb.org/entity/Robert_Soare

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Cornell_University gptkb:Princeton_University
gptkbp:awardReceived	gptkb:Leroy_P._Steele_Prize
gptkbp:birthYear	1941
gptkbp:doctoralAdvisor	gptkb:Clifford_Spector
gptkbp:employer	gptkb:University_of_Chicago
gptkbp:field	gptkb:logic computability theory recursion theory
https://www.w3.org/2000/01/rdf-schema#label	Robert Soare
gptkbp:member	gptkb:American_Academy_of_Arts_and_Sciences
gptkbp:nationality	gptkb:American
gptkbp:notableWork	gptkb:Recursively_Enumerable_Sets_and_Degrees gptkb:Turing_Computability:_Theory_and_Applications
gptkbp:occupation	gptkb:mathematician
gptkbp:position	gptkb:professor
gptkbp:bfsParent	gptkb:Anil_Nerode
gptkbp:bfsLayer	5