http://caligraph.org/ontology/Member_of_the_Department_of_Computer_Science,_University_of_Oxford

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Member of the Department of Computer Science, University of Oxford
rdfs:subClassOf	Formal methods person Academic of the University of Oxford
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
is rdf:type of	Andrew Clive Simpson Christopher Strachey Michael Spivey Samson Abramsky Jonathan Bowen Michael Butler (computer scientist) Stephen A. Jarvis Joseph Goguen David Turner (computer scientist) Kevin Lano Richard Bird (computer scientist) G. Mike Reed Tony Hoare Steve Schneider (computer scientist) Nando de Freitas Lincoln Wallen Jim Woodcock Georg Gottlob Luciano Floridi Tim Berners-Lee Augusto Sampaio David Gavaghan Carroll Morgan (computer scientist) Cliff Jones (computer scientist) Nigel Shadbolt Bill Roscoe Bob Coecke Marta Kwiatkowska Zhou Chaochen Donald Knuth Ernst-Rüdiger Olderog Jean-Raymond Abrial Michael Goldsmith (computer scientist) Ursula Martin He Jifeng Paritosh Pandya Jawed Siddiqi Joe Stoy Peter Mosses Jim Davies (computer scientist) Andrew Martin (computer scientist) Cas Cremers Martyn Thomas Jeremy Gibbons Mark d'Inverno Philip Wadler Ian Horrocks Sadie Creese

About: clgo:Member_of_the_Department_of_Computer_Science,_University_of_Oxford