Chris Tofts
Chris M. N. Tofts | |
|---|---|
| Born | 1964 England |
| Alma mater | Clare College, Cambridge; University of Edinburgh |
| Known for | Process algebra, simulation model correctness |
| Scientific career | |
| Fields | Computer Science |
Chris M. N. Tofts (born 1964) is an English computer scientist.[1]
Education
[edit]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.
Career
[edit]Tofts' 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.[2]
Tofts held lectureships at Swansea University (1992–94), the University of Manchester (1994–96), and the University of Leeds (1996–99).[1] 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[3] 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.[4]
Books
[edit]- Chris Tofts, Concurrency, Complexity and Performance, Springer, 2007. ISBN 0-387-95438-4.
References
[edit]- ^ a b Chris Tofts, LinkedIn.
- ^ Chris Tofts, Scientific Commons.
- ^ Concinnitas Ltd website Archived 27 July 2009 at the Wayback Machine.
- ^ British Colloquium for Theoretical Computer Science website.
External links
[edit]
- 1964 births
- Living people
- Alumni of Clare College, Cambridge
- Alumni of the University of Edinburgh
- Academics of Swansea University
- Academics of the University of Manchester
- Academics of the University of Leeds
- Hewlett-Packard people
- English computer scientists
- English science writers
- Formal methods people
- Fellows of the British Computer Society
- Fellows of the Institute of Mathematics and its Applications