Bill Roscoe

Who is Bill Roscoe?

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 and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems Limited and worked on the algorithms for the Failures-Divergence Refinement tool.