Chris M. N. Tofts (born 1964) is an English computer scientist.
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.
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.
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.