Chris Tofts
Chris M. N. Tofts | |
|---|---|
| Born | 1964 |
| Died | 2024 |
| Nationality | British |
| Alma mater | Clare College, Cambridge; University of Edinburgh |
| Occupation | Computer scientist |
| Known for | Contributions to process algebra and validation of simulation models |
| Notable work | Concurrency, Complexity and Performance (2007) |
Chris M. N. Tofts (1964–2024) was a prominent British computer scientist recognized for his contributions to process algebra and the validation of simulation models.
Education
Tofts completed his undergraduate studies in mathematics and obtained a Diploma in Computer Science at Clare College, Cambridge. He pursued doctoral research under the supervision of Robin Milner at the University of Edinburgh's Laboratory for Foundations of Computer Science.
Career
Focusing on the application of process algebra to simulate animal behaviors and disease dynamics, Tofts emphasized ensuring the accuracy of simulation models. His academic appointments included Swansea University (1992–1994), University of Manchester (1994–1996), and University of Leeds (1996–1999). From 1999 until 2008, he was a researcher at Hewlett-Packard Research Laboratories in the United Kingdom. He then held the position of Chief Mathematics Officer at Concinnitas Ltd from 2008 to 2011 before returning to Hewlett-Packard.
Tofts held the title of visiting Professor of Computer Science at Swansea University and was a Fellow of both the British Computer Society and the Institute of Mathematics and its Applications. Additionally, he led the British Colloquium for Theoretical Computer Science as its President.
Books
- Chris Tofts, Concurrency, Complexity and Performance, Springer, 2007. .