|Born||1956 (age 57–58)
|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 is Head of the Department of Computer Science, University of Oxford 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.
- Department of Computer Science Staff Profile
- Department of Computer Science, University of Oxford Home Page
|This biographical article about a Scottish scientist is a stub. You can help Wikipedia by expanding it.|
|This biography of a Scottish academic is a stub. You can help Wikipedia by expanding it.|
|This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.|