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 Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011.
The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. By 2014 the staff count was 52 members of academic staff and over 80 research staff. The 2019, 2020 and 2021 Times World University Subject Rankings places Oxford University 1st in the world for Computer Science. Oxford University is also the top university for computer science in the UK and Europe according to Business Insider. The 2020 QS University Subject Rankings places The University of Oxford 5th in the world for Computer Science.
Clifford "Cliff" B. Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee.
Michael David May FRS FREng is a British computer scientist. He is a Professor in the Department of Computer Science at the University of Bristol and founder of XMOS Semiconductor, serving until February 2014 as the chief technology officer.
Professor George Michael ("Mike") Reed is an American computer scientist. He has contributed to theoretical computer science in general and CSP in particular.
Richard Jozsa is an Australian mathematician who holds the Leigh Trapnell Chair in Quantum Physics at the University of Cambridge. He is a Fellow of King's College, Cambridge where his research investigates quantum information science. A pioneer of his field, he is the co-author of the Deutsch–Jozsa algorithm and one of the co-inventors of quantum teleportation.
Michael Paul Fourman FBCS FRSE is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.
Chris Holmes is a British statistician. He has held the position of Professor of Biostatistics in Genomics in the Nuffield Department of Clinical Medicine and the Department of Statistics at the University of Oxford since September 2014, a post that carries with it a Fellowship of St Anne's College, Oxford. Previously he was titular Professor of Biostatistics and a Fellow of Lincoln College. After working in industry he completed his doctorate in Bayesian statistics at Imperial College, London, supervised by Adrian Smith.
Geoffrey Richard GrimmettOLY is a mathematician known for his work on the mathematics of random systems arising in probability theory and statistical mechanics, especially percolation theory and the contact process. He is the Professor of Mathematical Statistics in the Statistical Laboratory, University of Cambridge, and was the Master of Downing College, Cambridge from 2013 to 2018.
Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England.
FDR and subsequently FDR2, FDR3 and FDR4 are refinement checking software tools, designed to check formal models expressed in Communicating sequential processes (CSP). The tools were originally developed by Formal Systems (Europe) Ltd. Bill Roscoe of the Department of Computer Science, University of Oxford devised many of the algorithms used by the tool and Michael Goldsmith was instrumental in the implementation. FDR2 was developed by Department of Computer Science, University of Oxford from where it was freely available for academic and other non-commercial use.
John Newsome Crossley is a British-Australian mathematician and logician who writes in the field of logic in computer science, history of mathematics and medieval history. He is involved in the field of mathematical logic in Australia and South East Asia.
Philip Candelas, is a British physicist and mathematician. After 20 years at the University of Texas at Austin, he has served as Rouse Ball Professor of Mathematics at the University of Oxford and is a Fellow of Wadham College, Oxford.
Philip Kumar Maini is a Northern Irish mathematician. Since 1998, he has been the Professor of Mathematical Biology at the University of Oxford and is the head of the Centre for Mathematical Biology in the Mathematical Institute.
The University of Oxford introduced Titles of Distinction for senior academics in the 1990s. These are not established chairs, which are posts funded by endowment for academics with a distinguished career in British and European universities. However, since there was a limited number of established chairs in these universities and an abundance of distinguished academics it was decided to introduce these Titles of Distinction. 'Reader' and the more senior 'Professor' were conferred annually.
Prof. Steve Schneider FBCS, CITP is an English computer scientist and Professor of Security. He is Director of the Surrey Centre for Cyber Security and Associate Dean at the University of Surrey.
(Julia) Alison Noble is Technikos professor of Biomedical Engineering at the University of Oxford, a Fellow of St Hilda's College, Oxford and Associate Head of the Mathematical, Physical and Life Sciences Division at the university. As of 2017 she is chief technology officer (CTO) of Intelligent Ultrasound Limited an Oxford University spin-off in medical imaging which she cofounded. She was director of the Oxford Institute of Biomedical Engineering (IBME) from 2012 to 2016.
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.
Sadie Creese is a British cybersecurity specialist. She is Professor of Cybersecurity in the Department of Computer Science at the University of Oxford, Director of the Global Cyber Security Capacity Centre at the Oxford Martin School, co-director of the university's Cyber Security Centre and of the Martin School's Institute for the Future of Computing, and a fellow of Worcester College, Oxford.
References
- 1 2 Bill Roscoe at the Mathematics Genealogy Project
- ↑ Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
- ↑ "Bill Roscoe". Department of Computer Science. Retrieved 16 December 2020.
- ↑ A. W. Roscoe at DBLP Bibliography Server
- ↑ Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 (2010).
