Richard Bornat - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1944 birth Academic of Queen Mary University of London English computer scientist English male non-fiction writer Living person Academic of Middlesex University
rdfs:label	Richard Bornat
owl:sameAs	dbr:Richard_Bornat
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Academics_of_Middlesex_University http://en.wikipedia.org/wiki/Category:1944_births http://en.wikipedia.org/wiki/Category:English_computer_scientists http://en.wikipedia.org/wiki/Category:English_male_non-fiction_writers 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_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Academics_of_Queen_Mary_University_of_London
skos:prefLabel	Richard Bornat
skos:altLabel	Bornat, Richard
clgo:academicDiscipline	Computer science
clgo:birthPlace	London
clgo:birthYear	1944
clgo:institution	Queen Mary University of London Middlesex University
is clgo:doctoralAdvisor of	Samson Abramsky

About: clgr:Richard_Bornat