Bill Roscoe
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 is a Professor of Computer Science. He is also a Fellow of University College, Oxford.
Bill Roscoe | |
|---|---|
| Born | 1956 (age 63–64) |
| Nationality | Scottish |
| Citizenship | United Kingdom |
| Alma mater | Oxford University |
| Known for | Communicating Sequential Processes |
| Scientific career | |
| Fields | Computer science |
| Institutions | Oxford University |
| Thesis | A Mathematical Theory of Communicating Processes (1982) |
| Doctoral advisor | C. A. R. Hoare[1] |
| Doctoral students | G. Mike Reed[1] Gavin Lowe[2] |
Professor Roscoe works in the area of concurrency theory,[3] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[4] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.
References
- Bill Roscoe at the Mathematics Genealogy Project
- Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
- 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
- Bill Roscoe home page
- Bill Roscoe publications indexed by Google Scholar
- Bill Roscoe at the Mathematics Genealogy Project
| Authority control |
|
|---|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.