Chris Tofts
Encyclopedia
Chris Tofts 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 post-doc research saw some of the first applications of process algebra to the study of the behaviour of animals and disease processes, which lead to his interest in the correctness of simulation models.
Chris Tofts is Chief Mathematics Officer of Concinnitas Ltd, and a visiting Professor of Computer Science at Swansea University
, Wales. 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.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
.
Chris Tofts studied mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
as an undergraduate at Clare College, Cambridge
Clare College, Cambridge
Clare College is a constituent college of the University of Cambridge in Cambridge, England.The college was founded in 1326, making it the second-oldest surviving college of the University after Peterhouse. Clare is famous for its chapel choir and for its gardens on "the Backs"...
, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by Robin Milner
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:...
in the Laboratory for Foundations of Computer Science
Laboratory for Foundations of Computer Science
The Laboratory for Foundations of Computer Science is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science, mathematical logic and category theory.- Current :...
at the University of Edinburgh
University of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
, Scotland
Scotland
Scotland is a country that is part of the United Kingdom. Occupying the northern third of the island of Great Britain, it shares a border with England to the south and is bounded by the North Sea to the east, the Atlantic Ocean to the north and west, and the North Channel and Irish Sea to the...
. His post-doc research saw some of the first applications of process algebra to the study of the behaviour of animals and disease processes, which lead to his interest in the correctness of simulation models.
Chris Tofts is Chief Mathematics Officer of Concinnitas Ltd, and a visiting Professor of Computer Science at Swansea University
Swansea University
Swansea University is a university located in Swansea, Wales, United Kingdom. Swansea University was chartered as University College of Swansea in 1920, as the fourth college of the University of Wales. In 1996, it changed its name to the University of Wales Swansea following structural changes...
, Wales. He is a Fellow of the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
and Fellow of the Institute of Mathematics and its Applications
Institute of Mathematics and its Applications
The Institute of Mathematics and its Applications is the UK's chartered professional body for mathematicians and one of the UK's learned societies for mathematics ....
, as well as a past President of the BCTCS.
Tofts is responsible for technology development in the United Kingdom
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
's (and probably Europe
Europe
Europe is, by convention, one of the world's seven continents. Comprising the westernmost peninsula of Eurasia, Europe is generally 'divided' from Asia to its east by the watershed divides of the Ural and Caucasus Mountains, the Ural River, the Caspian and Black Seas, and the waterways connecting...
's) first Service Science, Management and Engineering
Service Science, Management and Engineering
Service science, management, and engineering is a term introduced by IBM to describe service science, an interdisciplinary approach to the study, design, and implementation of services systems – complex systems in which specific arrangements of people and technologies take actions that provide...
startup. He is the first formally appointed Chief Mathematics Officer to serve on the board of a UK company.
Books
- Chris Tofts, Concurrency, Complexity and Performance, SpringerSpringer Science+Business Media- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
, 2007. ISBN 0-387-95438-4.