Chris M. N. Tofts (born 1964) was an English

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

.Chris Tofts

LinkedIn LinkedIn () is an American business and employment-oriented Social networking service, social network. It was launched on May 5, 2003 by Reid Hoffman and Eric Ly. Since December 2016, LinkedIn has been a wholly owned subsidiary of Microsoft. ...

Education

Chris Tofts studied

mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

as an undergraduate at

Clare College, Cambridge Clare College is a Colleges of the University of Cambridge, constituent college of the University of Cambridge in Cambridge, England. The college was founded in 1326 as University Hall, making it the second-oldest surviving college of the Unive ...

, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.Laboratory for Foundations of Computer Science The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew ...

at the

University of Edinburgh The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under th ...

Scotland Scotland is a Countries of the United Kingdom, country that is part of the United Kingdom. It contains nearly one-third of the United Kingdom's land area, consisting of the northern part of the island of Great Britain and more than 790 adjac ...

Career

Tofts' postdoctorate research saw some of the first applications of

process algebra In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and ...

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 Swansea University () is a public university, public research university located in Swansea, Wales, United Kingdom. It was chartered as University College of Swansea in 1920, as the fourth college of the University of Wales. In 1996, it chang ...

(1992–94), the

University of Manchester The University of Manchester is a public university, public research university in Manchester, England. The main campus is south of Manchester city centre, Manchester City Centre on Wilmslow Road, Oxford Road. The University of Manchester is c ...

(1994–96), and the

University of Leeds The University of Leeds is a public research university in Leeds, West Yorkshire, England. It was established in 1874 as the Yorkshire College of Science. In 1884, it merged with the Leeds School of Medicine (established 1831) and was renamed Y ...

(1996–99). From 1999 to 2008 he was a scientist at

Hewlett-Packard The Hewlett-Packard Company, commonly shortened to Hewlett-Packard ( ) or HP, was an American multinational information technology company. It was founded by Bill Hewlett and David Packard in 1939 in a one-car garage in Palo Alto, California ...

(HP) Research Laboratories in the UK. From 2008 to 2011 he was the Chief Mathematics Officer of Concinnitas Ltd 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 image:Maurice Vincent Wilkes 1980 (3).jpg, Sir Maurice Wilkes served as the first President of BCS in 1957. The British Computer Society (BCS), branded BCS, The Chartered Institute for IT, since 2009, is a professional body and a learned ...

and Fellow of the

Institute of Mathematics and its Applications The Institute of Mathematics and its Applications (IMA) is the UK's chartered professional body for mathematicians and one of the UK's learned societies for mathematics (another being the London Mathematical Society). The IMA aims to advance ...

, as well as a past President of the

BCTCS The British Colloquium for Theoretical Computer Science (BCTCS) is an organisation, founded in 1985, that represents the interests of Theoretical Computer Science in the UK, e.g. through representation on academic boards and providing commentary and ...

.British Colloquium for Theoretical Computer Science website

Books

* Chris Tofts, ''Concurrency, Complexity and Performance'',

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

, 2007. .

References

External links

Chris Tofts — Publications and Patents
{{DEFAULTSORT:Tofts, Chris 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