Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Chris_Tofts> ?p ?o }
Showing triples 1 to 93 of
93
with 100 triples per page.
- Chris_Tofts abstract "Chris M. N. Tofts (born 1964) is an English computer scientist.Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by Robin Milner in the Laboratory for Foundations of Computer Science at the University of Edinburgh, Scotland. His postdoctorate research saw some of the first applications of process algebra to the study of the behaviour of animals and disease processes, which led to his interest in the correctness of simulation models.Tofts held lectureships at Swansea University (1992–94), the University of Manchester (1994–96), and the University of Leeds (1996–99). From 1999 to 2008 he was a scientist at Hewlett-Packard (HP) Research Laboratories in the UK. From 2008 to 2011 he was the Chief Mathematics Officer of Concinnitas Ltd before returning to HP.Chris Tofts is a visiting Professor of Computer Science at Swansea University. He is a Fellow of the British Computer Society and Fellow of the Institute of Mathematics and its Applications, as well as a past President of the BCTCS.Tofts is responsible for technology development in the United Kingdom's (and probably Europe's) first Service Science, Management and Engineering startup. He is the first formally appointed Chief Mathematics Officer to serve on the board of a UK company.".
- Chris_Tofts birthDate "1964".
- Chris_Tofts birthPlace United_Kingdom.
- Chris_Tofts birthYear "1964".
- Chris_Tofts wikiPageExternalLink chris-tofts-publications.html.
- Chris_Tofts wikiPageID "22424842".
- Chris_Tofts wikiPageLength "3069".
- Chris_Tofts wikiPageOutDegree "33".
- Chris_Tofts wikiPageRevisionID "547722889".
- Chris_Tofts wikiPageWikiLink British_Colloquium_for_Theoretical_Computer_Science.
- Chris_Tofts wikiPageWikiLink British_Computer_Society.
- Chris_Tofts wikiPageWikiLink Category:1964_births.
- Chris_Tofts wikiPageWikiLink Category:Academics_of_Swansea_University.
- Chris_Tofts wikiPageWikiLink Category:Academics_of_the_University_of_Leeds.
- Chris_Tofts wikiPageWikiLink Category:Academics_of_the_University_of_Manchester.
- Chris_Tofts wikiPageWikiLink Category:Alumni_of_Clare_College,_Cambridge.
- Chris_Tofts wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- Chris_Tofts wikiPageWikiLink Category:English_computer_scientists.
- Chris_Tofts wikiPageWikiLink Category:English_science_writers.
- Chris_Tofts wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- Chris_Tofts wikiPageWikiLink Category:Fellows_of_the_Institute_of_Mathematics_and_its_Applications.
- Chris_Tofts wikiPageWikiLink Category:Formal_methods_people.
- Chris_Tofts wikiPageWikiLink Category:Hewlett-Packard_people.
- Chris_Tofts wikiPageWikiLink Category:Living_people.
- Chris_Tofts wikiPageWikiLink Clare_College,_Cambridge.
- Chris_Tofts wikiPageWikiLink Computer_scientist.
- Chris_Tofts wikiPageWikiLink Europe.
- Chris_Tofts wikiPageWikiLink Hewlett-Packard.
- Chris_Tofts wikiPageWikiLink Institute_of_Mathematics_and_its_Applications.
- Chris_Tofts wikiPageWikiLink Laboratory_for_Foundations_of_Computer_Science.
- Chris_Tofts wikiPageWikiLink Mathematics.
- Chris_Tofts wikiPageWikiLink Process_calculus.
- Chris_Tofts wikiPageWikiLink Robin_Milner.
- Chris_Tofts wikiPageWikiLink Scotland.
- Chris_Tofts wikiPageWikiLink Service_science,_management_and_engineering.
- Chris_Tofts wikiPageWikiLink Springer_Science+Business_Media.
- Chris_Tofts wikiPageWikiLink Swansea_University.
- Chris_Tofts wikiPageWikiLink United_Kingdom.
- Chris_Tofts wikiPageWikiLink University_of_Edinburgh.
- Chris_Tofts wikiPageWikiLink University_of_Leeds.
- Chris_Tofts wikiPageWikiLink University_of_Manchester.
- Chris_Tofts wikiPageWikiLinkText "Chris Tofts".
- Chris_Tofts dateOfBirth "1964".
- Chris_Tofts name "Tofts, Chris M. N.".
- Chris_Tofts placeOfBirth United_Kingdom.
- Chris_Tofts shortDescription "Computer scientist".
- Chris_Tofts wikiPageUsesTemplate Template:Persondata.
- Chris_Tofts wikiPageUsesTemplate Template:Reflist.
- Chris_Tofts description "Computer scientist".
- Chris_Tofts description "Computer scientist".
- Chris_Tofts subject Category:1964_births.
- Chris_Tofts subject Category:Academics_of_Swansea_University.
- Chris_Tofts subject Category:Academics_of_the_University_of_Leeds.
- Chris_Tofts subject Category:Academics_of_the_University_of_Manchester.
- Chris_Tofts subject Category:Alumni_of_Clare_College,_Cambridge.
- Chris_Tofts subject Category:Alumni_of_the_University_of_Edinburgh.
- Chris_Tofts subject Category:English_computer_scientists.
- Chris_Tofts subject Category:English_science_writers.
- Chris_Tofts subject Category:Fellows_of_the_British_Computer_Society.
- Chris_Tofts subject Category:Fellows_of_the_Institute_of_Mathematics_and_its_Applications.
- Chris_Tofts subject Category:Formal_methods_people.
- Chris_Tofts subject Category:Hewlett-Packard_people.
- Chris_Tofts subject Category:Living_people.
- Chris_Tofts type Agent.
- Chris_Tofts type List.
- Chris_Tofts type Person.
- Chris_Tofts type Scientist.
- Chris_Tofts type Writer.
- Chris_Tofts type Person.
- Chris_Tofts type List.
- Chris_Tofts type Mathematician.
- Chris_Tofts type Member.
- Chris_Tofts type Method.
- Chris_Tofts type Scientist.
- Chris_Tofts type Writer.
- Chris_Tofts type Agent.
- Chris_Tofts type NaturalPerson.
- Chris_Tofts type Thing.
- Chris_Tofts type Q215627.
- Chris_Tofts type Q5.
- Chris_Tofts type Person.
- Chris_Tofts comment "Chris M. N. Tofts (born 1964) is an English computer scientist.Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by Robin Milner in the Laboratory for Foundations of Computer Science at the University of Edinburgh, Scotland.".
- Chris_Tofts label "Chris Tofts".
- Chris_Tofts sameAs Q5108282.
- Chris_Tofts sameAs Chris_Tofts.
- Chris_Tofts sameAs m.05zm42t.
- Chris_Tofts sameAs Q5108282.
- Chris_Tofts wasDerivedFrom Chris_Tofts?oldid=547722889.
- Chris_Tofts givenName "Chris M. N.".
- Chris_Tofts isPrimaryTopicOf Chris_Tofts.
- Chris_Tofts name "Chris M. N. Tofts".
- Chris_Tofts name "Tofts, Chris M. N.".
- Chris_Tofts surname "Tofts".