Bill Roscoe

Bill Roscoe
Born 1956 (age 61–62)
Dundee, Scotland
Nationality Scottish
Citizenship United Kingdom
Alma mater Oxford University
Known for Communicating Sequential Processes
Scientific career
Fields Computer science
Institutions Oxford University
Thesis A Mathematical Theory of Communicating Processes (1982)
Doctoral advisor C. A. R. Hoare[1]
Doctoral students G. Mike Reed[1]
Gavin Lowe[2]

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

References

  1. 1 2 Bill Roscoe at the Mathematics Genealogy Project
  2. ↑ Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
  3. ↑ A. W. Roscoe at DBLP Bibliography Server Edit this at Wikidata
  4. ↑ 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).


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.