Bill Roscoe
From Wikipedia, the free encyclopedia
Prof. A. W. "Bill" Roscoe is Director of Oxford University Computing Laboratory and a Professor of Computing Science. He is also a Fellow of University College, Oxford.
Professor Roscoe has undertaken important theoretical research work in the area of concurrency, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.
[edit] External links
- OUCL home page
- Bill Roscoe bibliography in the DBLP database
 |
This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
