Don Sannella - CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual Academic journal editor Academic of the University of Edinburgh Alumnus of the University of Edinburgh Fellow of the Royal Society of Edinburgh Living person University of Edinburgh people Yale University alumnus Scottish computer scientist
rdfs:label	Don Sannella
owl:sameAs	dbr:Don_Sannella
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society_of_Edinburgh 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_University_of_Edinburgh_people http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Academic_journal_editors http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_field http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_journal http://en.wikipedia.org/wiki/Category:Yale_University_alumni http://en.wikipedia.org/wiki/Category:Scottish_computer_scientists
skos:prefLabel	Don Sannella
skos:altLabel	D. Sannella Donald Sannella
clgo:academicDiscipline	Computer science
clgo:almaMater	Yale University
clgo:birthPlace	Edinburgh
clgo:location	Scotland
clgo:type	Learned society
is clgo:doctoralStudent of	Rod Burstall
is clgo:editor of	Theoretical Computer Science (journal)

About: clgr:Don_Sannella