Bill Roscoe
Bill Roscoe | |
|---|---|
| Born | Andrew William Roscoe 1956 (age 69–70) |
| Other name | Bill |
| Citizenship | United Kingdom |
| Alma mater | University College, Oxford |
| Known for | Communicating Sequential Processes |
| Scientific career | |
| Fields | Computer science; formal methods |
| Institutions | University of Oxford |
| Thesis | A Mathematical Theory of Communicating Processes (1982) |
| C. A. R. Hoare[1][2] | |
Doctoral students | G. Mike Reed[1] Gavin Lowe[3] |
Andrew William "Bill" 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.
Education and career
[edit]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 at 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 during 2003–08 and 2009–14.[4] In 2024, a lecture theatre in the Department of Computer Science was named after Roscoe.[5]
Research
[edit]Professor Roscoe works in the area of concurrency theory,[6] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[7] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.
References
[edit]- ^ a b Bill Roscoe at the Mathematics Genealogy Project
- ^ Wilson, John (3 April 2026). "Robert Fox, Mary Rand MBE, Sir Tony Hoare, Biruté Galdikas". Last Word, Radio 4. UK: BBC. Retrieved 4 April 2026. (14 minutes 50 seconds into the programme, interview with Bill Roscoe.)
- ^ Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
- ^ "Bill Roscoe". Department of Computer Science. Retrieved 16 December 2020.
- ^ "Video yours: Atrium to the Bill Roscoe Lecture Theatre". YouTube. Department of Computer Science, University of Oxford. Retrieved 4 April 2026.
- ^ 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).
External links
[edit]- Bill Roscoe home page
- Bill Roscoe publications indexed by Google Scholar
- Bill Roscoe at the Mathematics Genealogy Project
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
  | This biographical article about a Scottish scientist is a stub. You can help Wikipedia by adding missing information. |
 | This biography of a Scottish academic is a stub. You can help Wikipedia by adding missing information. |
 | This biographical article relating to a computer specialist is a stub. You can help Wikipedia by adding missing information. |
- 1956 births
- Living people
- Scientists from Dundee
- People educated at the High School of Dundee
- Alumni of University College, Oxford
- Scottish computer scientists
- Members of the Department of Computer Science, University of Oxford
- Formal methods people
- Fellows of University College, Oxford
- Scottish scholars and academics
- Scottish scientist stubs
- Scottish academic biography stubs
- Computer specialist stubs