Related Research Articles
Sir Charles Antony Richard Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. As of 2023 it employed 56 faculty members, 45 support staff, 105 research staff, and about 205 research students. The current Head of Department is Professor Ann Copestake.
BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.
Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of computer science and Dean of the Faculty of Engineering and Physical Sciences at the University of Southampton, England.
Sir Bernard Walter Silverman, is a British statistician and former Anglican clergyman. He was Master of St Peter's College, Oxford, from 1 October 2003 to 31 December 2009. He is a member of the Statistics Department at Oxford University, and has also been attached to the Wellcome Trust Centre for Human Genetics, the Smith School of Enterprise and the Environment, and the Oxford-Man Institute of Quantitative Finance. He has been a member of the Council of Oxford University and of the Council of the Royal Society. He was briefly president of the Royal Statistical Society in January 2010, a position from which he stood down upon announcement of his appointment as Chief Scientific Advisor to the Home Office. He was awarded a Knighthood in the 2018 New Years Honours List, "For public service and services to Science".
Sir Robert Keith O'Nions FRS HonFREng, is a British scientist and ex-President & Rector of Imperial College London. He is the former Director General of the Research Councils UK as well as Professor of the Physics and Chemistry of Minerals and Head of the Department of Earth Sciences at the University of Oxford.
Michael Lawrence KleinNAS is Laura H. Carnell Professor of Science and Director of the Institute for Computational Molecular Science in the College of Science and Technology at Temple University in Philadelphia, USA. He was previously the Hepburn Professor of Physical Science in the Center for Molecular Modeling at the University of Pennsylvania. Currently, he serves as the Dean of the College of Science and Technology and has since 2013.
Frederic Gordon Foster was an Irish computational engineer, statistician, professor, and college dean who is widely known for devising, in 1965, a nine-digit code upon which the International Standard Book Number (ISBN) is based.
Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England.
Andrew Martin is a British computer scientist at the University of Oxford, England, where he is Professor of Systems Security, Director of the Centre for Doctoral Training in Cyber Security (2013-) and Deputy Director and lecturer in Software Engineering Programme. He is a member of the Oxford University Department of Computer Science.
Geoffrey Nigel Gilbert is a British sociologist and a pioneer in the use of agent-based models in the social sciences. He is the founder and director of the Centre for Research in Social Simulation, author of several books on computational social science, social simulation and social research and past editor of the Journal of Artificial Societies and Social Simulation (JASSS), the leading journal in the field.
Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom.
Nicholas Robert Jennings is a British computer scientist and the current Vice-Chancellor and President of Loughborough University. He was previously the Vice-Provost for Research and Enterprise at Imperial College London, the UK's first Regius Professor of Computer Science, and the inaugural Chief Scientific Adviser to the UK Government on National Security. His research covers the areas of AI, autonomous systems, agent-based computing and cybersecurity. He is involved in a number of startups including Aerogility, Contact Engine, Crossword Cyber Security, and Reliance Cyber Science. He is also an adviser to Darktrace, a member of the UK Government's AI Council, chair of the National Engineering Policy Centre and a council member for the Engineering and Physical Sciences Research Council.
Michael Goldsmith is a British computer scientist, senior research fellow and Lecturer at the University of Oxford, England. He is a member of Oxford University's Department of Computer Science. He is an associate director of Oxford University's Cyber Security Centre, and an Oxford Martin Fellow of The Global Cyber Security Capacity Centre. He is a fellow of Worcester College, Oxford.
Stephen Patrick Long is a British-born American environmental plant physiologist and member of the National Academy of Sciences studying how to improve photosynthesis to increase the yield of food and biofuel crops. He is the Stanley O. Ikenberry Chair Professor of Plant Biology and Crop Sciences at the University of Illinois and Distinguished Professor in Crop Sciences at Lancaster University. His work, published in Science, proved that photosynthesis can be manipulated to increase plant productivity—an idea once considered the holy grail of plant biology. Long has added to our understanding of the long-term impacts of climate change, such as rising levels of carbon dioxide and ozone on plants. He has briefed former President George W. Bush and the Vatican, as well as Bill Gates and Anne, Princess Royal, on food security and bioenergy.
Gavin Lowe is a British academic. He is a professor of computer science and tutorial fellow at St Catherine's College, Oxford, a professor at the University of Oxford, and President of the Senior Common Room of St Catherine's College, Oxford. His research interests include computer security, for which he developed the cryptographic protocol analysis tool Casper, and concurrency.
Anders Peter Ravn was a Danish computer scientist.
Raheem Beyah is an American computer engineer, researcher, and educator. As of January 15, 2021 he is the Dean of the College of Engineering and Southern Company Chair at the Georgia Institute of Technology. Prior to becoming the Dean, he was the vice president for Interdisciplinary Research and the Motorola Foundation Professor and the executive director of Georgia Tech's online masters in cyber security program. Beyah is also the co-founder and chair of industrial security company Fortiphyd Logic, Inc.
Kenneth ("Ken") Arthur Robinson was an Australian computer scientist. He has been called "The Father of Formal Methods in Australia".
References
- 1 2 Steve Schneider at the Mathematics Genealogy Project
- 1 2 "Steve Schneider". Royal Society . Retrieved 9 December 2016.
- 1 2 "Faculty appoints new Associate Dean (Research & Enterprise)". News and Features. UK: University of Surrey . Retrieved 9 December 2016.
- ↑ Schneider, Steven A. (1989), "Correctness and Communication in Real-Time Systems", D.Phil thesis, UK: University of Oxford
