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. Tofts held lectureships at
Swansea University (1992–94), the
University of Manchester (1994–96), and the
University of Leeds (1996–99). before returning to HP. Chris Tofts was a visiting Professor of Computer Science at Swansea University. He was 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. == Books ==