Bill Roscoe
Bill Roscoe | |
---|---|
Born | 1956 (age 67–68) Dundee, Scotland |
Citizenship | United Kingdom |
Nationality | Scottish |
Fields | Computer science |
Institutions | Oxford University |
Alma mater | Oxford University |
Thesis | A Mathematical Theory of Communicating Processes (1982) |
Doctoral advisor | C. A. R. Hoare |
Known for | Communicating Sequential Processes |
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.
Professor Roscoe works in the area of concurrency theory,[1] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[2] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.
References
- ↑ Bill Roscoe's publications indexed by the DBLP Bibliography Server at the University of Trier
- ↑ 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
- Department of Computer Science Staff Profile
- Department of Computer Science, University of Oxford Home Page
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
- Use dmy dates from November 2012
- Living people
- People 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
- 1956 births
- Scottish scientist stubs
- Scottish academic biography stubs
- Computer specialist stubs