A. William Bill Roscoe is .

He has undertaken important theoretical research work in the area of concurrency and in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated Occam programming language with C. A. R. Hoare. He co-founded the spin-out company Formal Systems (Europe) Limited and worked on the algorithms for the FDR tool (Failures-Divergence Refinement).

=External links=