Bill Roscoe

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Bill Roscoe
Born 1956 (age 60–61)
Dundee, Scotland
Citizenship United Kingdom
Nationality Scottish
Fields Computer science
Institutions Oxford University
Alma mater Oxford University
Thesis A Mathematical Theory of Communicating Processes (1982)
Doctoral advisor C. A. R. Hoare[1]
Doctoral students G. Mike Reed, Ranko Lazić, Gavin Lowe, Martin Ward[1]
Known for Communicating Sequential Processes

Andrew William "Bill" Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford.

Professor Roscoe works in the area of concurrency theory,[2] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[3] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.


  1. ^ a b Bill Roscoe at the Mathematics Genealogy Project
  2. ^ A. W. Roscoe at DBLP Bibliography Server
  3. ^ Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 (2010).

External links[edit]