Chris Tofts

Last updated

Chris M. N. Tofts
Born1964
England
Alma materClare College, Cambridge; University of Edinburgh
Known forProcess algebra, simulation model correctness
Scientific career
FieldsComputer Science

Chris M. N. Tofts (born 1964) is an English computer scientist. [1]

Contents

Education

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

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

Related Research Articles

<span class="mw-page-title-main">Alan Kay</span> American computer scientist (born 1940)

Alan Curtis Kay is an American computer scientist best known for his pioneering work on object-oriented programming and windowing graphical user interface (GUI) design. At Xerox PARC he led the design and development of the first modern windowed computer desktop interface. There he also led the development of the influential object-oriented programming language Smalltalk, both personally designing most of the early versions of the language and coining the term "object-oriented." He has been elected a Fellow of the American Academy of Arts and Sciences, the National Academy of Engineering, and the Royal Society of Arts. He received the Turing award in 2003.

<span class="mw-page-title-main">Robin Milner</span> British computer scientist (1934–2010)

Arthur John Robin Gorell Milner was a British computer scientist, and a Turing Award winner.

<span class="mw-page-title-main">Maurice Wilkes</span> British computer scientist (1913–2010)

Sir Maurice Vincent Wilkes was an English computer scientist who designed and helped build the Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored program computers, and who invented microprogramming, a method for using stored-program logic to operate the control unit of a central processing unit's circuits. At the time of his death, Wilkes was an Emeritus Professor at the University of Cambridge.

<span class="mw-page-title-main">Department of Computer Science, University of Manchester</span>

The Department of Computer Science at the University of Manchester is the longest established department of Computer Science in the United Kingdom and one of the largest. It is located in the Kilburn Building on the Oxford Road and currently has over 800 students taking a wide range of undergraduate and postgraduate courses and 60 full-time academic staff.

<span class="mw-page-title-main">School of Informatics, University of Edinburgh</span> Higher education institution

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.

<span class="mw-page-title-main">Andy Hopper</span> British computer scientist (born 1953)

Sir Andrew Hopper is a British-Polish computer technologist and entrepreneur. He is Chairman of lowRISC CIC, a Commissioner of the Royal Commission for the Exhibition of 1851, former Treasurer and Vice-President of the Royal Society, Professor Emeritus of Computer Technology at the University of Cambridge, an Honorary Fellow of Trinity Hall, Cambridge and Corpus Christi College, Cambridge.

<span class="mw-page-title-main">Silvio Micali</span> Italian-American computer scientist (born 1954)

Silvio Micali is an Italian computer scientist, professor at the Massachusetts Institute of Technology and the founder of Algorand, a proof-of-stake blockchain cryptocurrency protocol. Micali's research at the MIT Computer Science and Artificial Intelligence Laboratory centers on cryptography and information security.

<span class="mw-page-title-main">Faron Moller</span> British computer scientist

Faron George Moller is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state automata theory and temporal logic. His work has focussed on structural decomposition techniques for analysing abstract models of computing systems. He is founding director of the Swansea Railway Verification Group; Director of Technocamps; and Head of the Institute of Coding in Wales. In 2023, he was elected General Secretary of the Learned Society of Wales.

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 evidence in response to consultations from public bodies. The BCTCS operates under the direction of an Organising Committee, with an Executive consisting of a President, Secretary and Treasurer. The current President is Barnaby Martin.

<span class="mw-page-title-main">Frank Kelly (mathematician)</span> British mathematician (born 1950)

Francis Patrick Kelly, CBE, FRS is Professor of the Mathematics of Systems at the Statistical Laboratory, University of Cambridge. He served as Master of Christ's College, Cambridge from 2006 to 2016.

<span class="mw-page-title-main">Andrew Blake (computer scientist)</span> British scientist

Andrew Blake is a British scientist, former laboratory director of Microsoft Research Cambridge and Microsoft Distinguished Scientist, former director of the Alan Turing Institute, Chair of the Samsung AI Centre in Cambridge, honorary professor at the University of Cambridge, Fellow of Clare Hall, Cambridge, and a leading researcher in computer vision.

Ian Pratt is a British computer scientist. He was the chief architect of the open-source Xen project, and chairman of Xen.org. He was also the founder of XenSource, the company behind Xen project. After XenSource was acquired by Citrix, he became vice president of Advanced Virtualization Products at this company, until leaving in 2011. He then became the CEO of Bromium. Bromium was eventually acquired by HP Inc in 2019, and he became the Global Head of Security at HP.

Professor Stanley J. Gill was a British computer scientist credited, along with Maurice Wilkes and David Wheeler, with the invention of the first computer subroutine.

<span class="mw-page-title-main">Richard DeMillo</span> American computer scientist, educator and executive

Richard Allan DeMillo is an American computer scientist, educator and executive. He is Professor and holds the Charlotte B. and Roger C. Warren Chair in Computing at the Georgia Institute of Technology.

Michael Ralph Fellows AC HFRSNZ MAE is a computer scientist and the Elite Professor of Computer Science in the Department of Informatics at the University of Bergen, Norway as of January 2016.

<span class="mw-page-title-main">Cliff Joslyn</span> Americsn scientist (born 1963)

Cliff Joslyn is an American mathematician, cognitive scientist, and cybernetician. He is the Chief Knowledge Scientist at the Pacific Northwest National Laboratory in Seattle, and visiting professor of systems science at Binghamton University.

<span class="mw-page-title-main">Kamal Sarabandi</span> Iranian scientist and essayist

Kamal Sarabandi is an Iranian-American scientist and the Fawwaz T. Ulaby Distinguished University Professor of EECS and the Rufus S. Teesdale endowed Professor of Engineering at the University of Michigan, where he teaches and conducts research on the science and technology of microwave and millimeter wave radar remote sensing, wireless technology, electromagnetic wave propagation and scattering, metamaterials, antenna miniaturization, and nano antennas.

<span class="mw-page-title-main">Michael Brady (biomedical engineer)</span> Researcher in medical-image analysis

Sir John Michael Brady is an emeritus professor of oncological imaging at the University of Oxford. He has been a Fellow of Keble College, Oxford, since 1985 and was elected a foreign associate member of the French Academy of Sciences in 2015. He was formerly BP Professor of Information Engineering at Oxford from 1985 to 2010 and a senior research scientist in the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) in Cambridge, Massachusetts, from 1980 to 1985.

Bonnie Jean Dorr is an American computer scientist specializing in natural language processing, machine translation, automatic summarization, social computing, and explainable artificial intelligence. She is a professor and director of the Natural Language Processing Research Laboratory in the Department of Computer & Information Science & Engineering at the University of Florida. Gainesville, Florida She is professor emerita of computer science and linguistics and former dean at the University of Maryland, College Park, former associate director at the Florida Institute for Human and Machine Cognition,, and former president of the Association for Computational Linguistics.

<span class="mw-page-title-main">University College of Science, Technology and Agriculture</span> Science College, Kolkata, West Bengal

The University College of Science, Technology and Agriculture are two of five main campuses of the University of Calcutta (CU). The college served as the cradle of Indian sciences by winning the Nobel Prize in Physics in 1930 and many fellowships of the Royal Society London.

References