Bill Roscoe

Bill Roscoe
Born 1956 (age 5960)
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
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,[1] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[2] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.

References

  1. Bill Roscoe's publications indexed by the DBLP Bibliography Server at the University of Trier
  2. 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


This article is issued from Wikipedia - version of the Tuesday, February 09, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.