- Chris Tofts
-
Chris Tofts (born 1964) is an English computer scientist.[1]
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.[2]
Chris Tofts is Chief Mathematics Officer of Concinnitas Ltd,[3] 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.[4]
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.
Books
- Chris Tofts, Concurrency, Complexity and Performance, Springer, 2007. ISBN 0-387-95438-4.
References
- ^ Chris Tofts, LinkedIn.
- ^ Chris Tofts, Scientific Commons.
- ^ Concinnitas Ltd website.
- ^ British Colloquium for Theoretical Computer Science website.
External links
Categories:- 1964 births
- Living people
- Alumni of Clare College, Cambridge
- Alumni of the University of Edinburgh
- English computer scientists
- English science writers
- Formal methods people
Wikimedia Foundation. 2010.