Robert Lee Constable

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual 1942 birth American computer scientist Fellow of the Association for Computing Machinery Guggenheim Fellowships awarded in 1990 Living person
rdfs:label	Robert Lee Constable
owl:sameAs	dbr:Robert_Lee_Constable
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1942_births http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_Guggenheim_Fellowships_awarded_in_1990 http://en.wikipedia.org/wiki/Constable_(surname) http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/Summer_School_Marktoberdorf
skos:prefLabel	Robert Lee Constable
skos:altLabel	Robert Constable Bob Constable R. Constable Robert L. Constable
clgo:academicAdvisor	Alonzo Church
clgo:academicDiscipline	Computer science
clgo:almaMater	University of Wisconsin–Madison Princeton University
clgo:birthYear	1942
clgo:doctoralAdvisor	Stephen Cole Kleene
clgo:doctoralStudent	Kurt Mehlhorn Allan Borodin Robert Harper (computer scientist) Steven Muchnick Pavel Naumov Edmund M. Clarke
clgo:knownFor	Nuprl
is clgo:doctoralAdvisor of	Kurt Mehlhorn Edmund M. Clarke
is clgo:doctoralStudent of	Stephen Cole Kleene

About: clgr:Robert_Lee_Constable