Chris Tofts - CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1964 birth Academic of Swansea University Academic of the University of Leeds Alumnus of Clare College, Cambridge Alumnus of the University of Edinburgh English computer scientist Fellow of the Institute of Mathematics and its Applications Living person Academic of the University of Manchester Fellow of the British Computer Society Hewlett-Packard person English science writer
rdfs:label	Chris Tofts
owl:sameAs	dbr:Chris_Tofts
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Manchester http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:1964_births http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Leeds http://en.wikipedia.org/wiki/Category:Alumni_of_Clare_College,_Cambridge http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:English_computer_scientists 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_alumni_of_Clare_College,_Cambridge 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_Swansea_University http://en.wikipedia.org/wiki/Category:Fellows_of_the_Institute_of_Mathematics_and_its_Applications http://en.wikipedia.org/wiki/Category:Fellows_of_the_British_Computer_Society http://en.wikipedia.org/wiki/Category:English_science_writers http://en.wikipedia.org/wiki/Category:Hewlett-Packard_people http://en.wikipedia.org/wiki/British_Colloquium_for_Theoretical_Computer_Science
skos:prefLabel	Chris Tofts
clgo:academicDiscipline	Computer science
clgo:almaMater	Clare College, Cambridge
clgo:award	BCS, The Chartered Institute for IT
clgo:birthPlace	California
clgo:birthYear	1964
clgo:institution	Swansea University
clgo:type	Learned society
is clgo:doctoralStudent of	Robin Milner

About: clgr:Chris_Tofts