Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Chris_Tofts> ?p ?o. }
Showing items 1 to 84 of
84
with 100 items 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 wikiPageRevisionID "547722889".
- Chris_Tofts dateOfBirth "1964".
- Chris_Tofts hasPhotoCollection Chris_Tofts.
- Chris_Tofts name "Tofts, Chris M. N.".
- Chris_Tofts placeOfBirth United_Kingdom.
- Chris_Tofts shortDescription "Computer scientist".
- 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 Academician109759069.
- Chris_Tofts type AcademicsOfSwanseaUniversity.
- Chris_Tofts type AcademicsOfTheUniversityOfLeeds.
- Chris_Tofts type AcademicsOfTheUniversityOfManchester.
- Chris_Tofts type Adult109605289.
- Chris_Tofts type AlumniOfClareCollege,Cambridge.
- Chris_Tofts type AlumniOfTheUniversityOfEdinburgh.
- Chris_Tofts type Alumnus109786338.
- Chris_Tofts type Associate109816771.
- Chris_Tofts type CausalAgent100007347.
- Chris_Tofts type Colleague109935990.
- Chris_Tofts type Communicator109610660.
- Chris_Tofts type ComputerScientist109951070.
- Chris_Tofts type ComputerUser109951274.
- Chris_Tofts type Educator110045713.
- Chris_Tofts type EnglishComputerScientists.
- Chris_Tofts type EnglishScienceWriters.
- Chris_Tofts type FellowsOfTheBritishComputerSociety.
- Chris_Tofts type FellowsOfTheInstituteOfMathematicsAndItsApplications.
- Chris_Tofts type FormalMethodsPeople.
- Chris_Tofts type Hewlett-PackardPeople.
- Chris_Tofts type Intellectual109621545.
- Chris_Tofts type LivingPeople.
- Chris_Tofts type LivingThing100004258.
- Chris_Tofts type Object100002684.
- Chris_Tofts type Organism100004475.
- Chris_Tofts type Peer109626238.
- Chris_Tofts type Person100007846.
- Chris_Tofts type PhysicalEntity100001930.
- Chris_Tofts type Professional110480253.
- Chris_Tofts type Scholar110557854.
- Chris_Tofts type Scientist110560637.
- Chris_Tofts type Whole100003553.
- Chris_Tofts type Writer110794014.
- Chris_Tofts type YagoLegalActor.
- Chris_Tofts type YagoLegalActorGeo.
- Chris_Tofts type Agent.
- Chris_Tofts type Person.
- Chris_Tofts type Person.
- Chris_Tofts type Q215627.
- Chris_Tofts type Q5.
- Chris_Tofts type Agent.
- Chris_Tofts type NaturalPerson.
- Chris_Tofts type Thing.
- 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 m.05zm42t.
- Chris_Tofts sameAs Q5108282.
- Chris_Tofts sameAs Q5108282.
- Chris_Tofts sameAs Chris_Tofts.
- 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".