Chris Tofts

Last updated

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

Alan Kay American computer scientist (born 1940)

Alan Curtis Kay is an American computer scientist. 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 is best known for his pioneering work on object-oriented programming and windowing graphical user interface (GUI) design. He received the Turing award in 2003.

Robin Milner British computer scientist

Arthur John Robin Gorell Milner, known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

Maurice Wilkes British computer scientist

Sir Maurice Vincent Wilkes was a British 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.

Department of Computer Science, University of Manchester

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.

Jack Dongarra American computer scientist (born 1950)

Jack Joseph Dongarra is an American computer scientist. He is the American University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee. He holds the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory, Turing Fellowship in the School of Mathematics at the University of Manchester, and is an adjunct professor in the Computer Science Department at Rice University. He served as a faculty fellow at the Texas A&M University Institute for Advanced Study (2014–2018). Dongarra is the founding director of the Innovative Computing Laboratory at the University of Tennessee.

School of Informatics, University of Edinburgh

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.

Andy Hopper British computer scientist

Sir Andrew Hopper is a British-Polish Computer Technologist and entrepreneur. He is Treasurer and Vice-President of the Royal Society, Professor of Computer Technology, former Head of the University of Cambridge Department of Computer Science and Technology, an Honorary Fellow of Trinity Hall, Cambridge and Corpus Christi College, Cambridge.

Indian Statistical Institute Institute of statistical organisation in India

Indian Statistical Institute (ISI) is a higher education and research institute which is recognized as an Institute of National Importance by the 1959 act of the Indian parliament. It grew out of the Statistical Laboratory set up by Prasanta Chandra Mahalanobis in Presidency College, Kolkata. Established in 1931, this unique institution of India is one of the oldest institutions focused on statistics, and its early reputation led it to being adopted as a model for the first US institute of Statistics set up at the Research Triangle, North Carolina by Gertrude Mary Cox.

Sankar Kumar Pal

Sankar Kumar Pal is a computer scientist and former Director of the Indian Statistical Institute, Kolkata. He is a computer scientist with an international reputation on fuzzy neural network, soft computing, and machine intelligence. He founded the Machine Intelligence Unit in 1993, and the Center for Soft Computing Research: A National Facility in 2004, both at the ISI. He is the founder President of the Indian National Academy of Engineering, Kolkata Chapter.

Faron Moller

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.

Frank Kelly (mathematician)

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.

Andrew Blake (scientist) British scientist

Andrew Blake FREng, FRS, 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 inCambridge, Honorary Professor at the University of Cambridge, Fellow of Clare Hall, Cambridge, and a leading researcher in computer vision.

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.

Richard DeMillo

Richard Allan DeMillo is an American computer scientist, educator and executive. He is currently Distinguished Professor of Computing and Professor of Management 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.

Bob Coecke

Bob Coecke is a Belgian theoretical physicist and logician who was professor of Quantum Foundations, Logics and Structures at Oxford University till 2020, and is now Chief Scientist of Cambridge Quantum Computing. He is a pioneer of categorical quantum mechanics, Quantum Picturalism, ZX-calculus, DisCoCat model for natural language, and quantum natural language processing (QNLP). He is a founding father of the Quantum Physics and Logic community and conference series, of the Applied category theory community, conference series and diamond-open-access journal Compositionality.

Valerie Taylor (computer scientist) American computer scientist

Valerie Elaine Taylor is an American computer scientist who is the director of the Mathematics and Computer Science Division of Argonne National Laboratory in Illinois. Her research includes topics such as performance analysis, power analysis, and resiliency. She is known for her work on "Prophesy," described as "a database used to collect and analyze data to predict the performance on different applications on parallel systems."

Dr. Bhavani Thuraisingham is the Louis A. Beecherl, Jr. Distinguished Professor of computer science and the Executive Director of the Cyber Security Research and Education Institute at the University of Texas at Dallas. She is a Visiting Senior Research Fellow in the Department of Informatics at Kings College University of London and a 2017-2018 Cyber Security Policy Fellow at New America.

Kamal Sarabandi Iranian scientist and essayist

Kamal Sarabandi is an Iranian-American scientist and 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.

University College of Science, Technology and Agriculture Science College, Kolkata, West Bengal

The University College of Science, Technology and Agriculture is a university campus, one 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