Bill Roscoe

From Wikipedia, the free encyclopedia

You have new messages (last change).

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


 This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../b/i/l/Bill_Roscoe_767b.html"