E. Allen Emerson - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1954 birth American computer scientist Harvard University alumnus Living person Pioneer in computer science
rdfs:label	E. Allen Emerson
owl:sameAs	dbr:E._Allen_Emerson
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1954_births http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Harvard_University_alumni 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_computer_scientists http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Harvard_John_A._Paulson_School_of_Engineering_and_Applied_Sciences http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Emerson_(surname) http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science http://en.wikipedia.org/wiki/University_of_Texas_at_Austin_College_of_Natural_Sciences
skos:prefLabel	E. Allen Emerson
skos:altLabel	Allen Emerson E. A. Emerson Emerson, E. Allen
clgo:academicDiscipline	Computer science
clgo:almaMater	Harvard University
clgo:award	Paris Kanellakis Award Turing Award
clgo:birthDate	1954-06-02
clgo:birthPlace	Texas Dallas
clgo:birthYear	1954
clgo:doctoralAdvisor	Edmund M. Clarke
is clgo:doctoralAdvisor of	Munindar P. Singh
is clgo:doctoralStudent of	Edmund M. Clarke

About: clgr:E._Allen_Emerson