About: Chris Tofts

An Entity of Type: scientist, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

Chris M. N. Tofts (born 1964) is an English computer scientist.

Property	Value
dbo:abstract	Chris M. N. Tofts (born 1964) is an English computer scientist. (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20110813223125/http:/concinnitas.co.uk/Personal%20Pages/Chris%20Tofts%20Publications/chris-tofts-publications.html
dbo:wikiPageID	22424842 (xsd:integer)
dbo:wikiPageLength	2848 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1082683196 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Robin_Milner dbr:Scotland dbr:University_of_Edinburgh dbr:University_of_Leeds dbr:University_of_Manchester dbr:Institute_of_Mathematics_and_its_Applications dbc:Alumni_of_the_University_of_Edinburgh dbc:Living_people dbr:Mathematics dbr:Clare_College,_Cambridge dbr:Laboratory_for_Foundations_of_Computer_Science dbr:Computer_scientist dbc:1964_births dbc:Academics_of_Swansea_University dbc:Academics_of_the_University_of_Leeds dbc:Academics_of_the_University_of_Manchester dbc:Alumni_of_Clare_College,_Cambridge dbr:British_Computer_Society dbr:Hewlett-Packard dbc:Fellows_of_the_British_Computer_Society dbc:English_science_writers dbc:English_computer_scientists dbc:Formal_methods_people dbc:Fellows_of_the_Institute_of_Mathematics_and_its_Applications dbc:Hewlett-Packard_people dbr:Swansea_University dbr:Springer_Science+Business_Media dbr:BCTCS dbr:Process_algebra
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:ISBN dbt:Reflist dbt:Short_description dbt:Use_British_English dbt:Use_dmy_dates
dcterms:subject	dbc:Alumni_of_the_University_of_Edinburgh dbc:Living_people dbc:1964_births dbc:Academics_of_Swansea_University dbc:Academics_of_the_University_of_Leeds dbc:Academics_of_the_University_of_Manchester dbc:Alumni_of_Clare_College,_Cambridge dbc:Fellows_of_the_British_Computer_Society dbc:English_science_writers dbc:English_computer_scientists dbc:Formal_methods_people dbc:Fellows_of_the_Institute_of_Mathematics_and_its_Applications dbc:Hewlett-Packard_people
schema:sameAs	http://viaf.org/viaf/4382148997598859870005
rdf:type	owl:Thing dbo:Scientist yago:WikicatLivingPeople yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Communicator109610660 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatHewlett-PackardPeople yago:Writer110794014 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfSwanseaUniversity yago:WikicatAcademicsOfTheUniversityOfLeeds yago:WikicatAcademicsOfTheUniversityOfManchester yago:WikicatAlumniOfClareCollege,Cambridge yago:WikicatAlumniOfTheUniversityOfEdinburgh yago:WikicatEnglishComputerScientists yago:WikicatEnglishScienceWriters yago:WikicatFellowsOfTheBritishComputerSociety yago:WikicatFellowsOfTheInstituteOfMathematicsAndItsApplications yago:WikicatFormalMethodsPeople
rdfs:comment	Chris M. N. Tofts (born 1964) is an English computer scientist. (en)
rdfs:label	Chris Tofts (en)
owl:sameAs	freebase:Chris Tofts http://viaf.org/viaf/4382148997598859870005 yago-res:Chris Tofts wikidata:Chris Tofts http://mg.dbpedia.org/resource/Chris_Tofts https://global.dbpedia.org/id/4i9w1 dbr:Chris Tofts
prov:wasDerivedFrom	wikipedia-en:Chris_Tofts?oldid=1082683196&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Chris_Tofts
is dbo:doctoralStudent of	dbr:Robin_Milner
is dbo:wikiPageWikiLink of	dbr:Robin_Milner dbr:School_of_Informatics,_University_of_Edinburgh dbr:List_of_University_of_Edinburgh_people dbr:British_Colloquium_for_Theoretical_Computer_Science dbr:List_of_Equinox_episodes
is dbp:doctoralStudents of	dbr:Robin_Milner
is foaf:primaryTopic of	wikipedia-en:Chris_Tofts