Bill Roscoe | |
---|---|
Born | 1956 (age 67–68) |
Nationality | Scottish |
Citizenship | United Kingdom |
Alma mater | University of Oxford |
Known for | Communicating Sequential Processes |
Scientific career | |
Fields | Computer science |
Institutions | University of Oxford |
Thesis | A Mathematical Theory of Communicating Processes (1982) |
Doctoral advisor | C. A. R. Hoare [1] |
Doctoral students | G. Mike Reed [1] Gavin Lowe [2] |
Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and was a Professor of Computer Science. He was also Fellow of University College, Oxford until 2024.
Roscoe was born in Dundee, Scotland. He studied for a degree in mathematics at University College, Oxford, from 1975 to 1978, graduating with the top mark for his year in the university. He went on to work at the Computing Laboratory and received his DPhil in 1982. He was appointed Tutorial Fellow at University College in 1983 and served as Senior Tutor from 1993 to 1997. He was head of the Department of Computer Science 2003-08 and 2009–14. [3]
Professor Roscoe works in the area of concurrency theory, [4] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. [5] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.
Sir Charles Antony Richard Hoare, also known as Tony Hoare or by his initials C. A. R. 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 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.
George Michael ("Mike") Reed is an American computer scientist. He has contributed to theoretical computer science in general and CSP in particular.
James Charles Paul Woodcock is a British computer scientist.
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 is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001 to 2009.
Christopher C. 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.
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.
Philip Candelas, is a British physicist and mathematician. After 20 years at the University of Texas at Austin, he served as Rouse Ball Professor of Mathematics at the University of Oxford until 2020 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 director of the Wolfson Centre for Mathematical Biology in the Mathematical Institute.
Alison Mary Etheridge is Professor of Probability and former Head of the Department of Statistics, University of Oxford. Etheridge is a fellow of Magdalen College, Oxford.
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 a British engineer. She has been Technikos Professor of Biomedical Engineering at the University of Oxford and a fellow of St Hilda's College since 2011, and Associate Head of the Mathematical, Physical and Life Sciences Division at the university. As of 2017, she is the chief technology officer of Intelligent Ultrasound Limited, an Oxford spin-off in medical imaging that she cofounded. She was director of the Oxford Institute of Biomedical Engineering (IBME) from 2012 to 2016. In 2023 she became the Foreign Secretary of The Royal Society.
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.
Yee-Whye Teh is a professor of statistical machine learning in the Department of Statistics, University of Oxford. Prior to 2012 he was a reader at the Gatsby Charitable Foundation computational neuroscience unit at University College London. His work is primarily in machine learning, artificial intelligence, statistics and computer science.
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.