Bill Roscoe

Bill Roscoe
Bill Roscoe
Born	1956 (age 67–68); 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

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

^ A. W. Roscoe at DBLP Bibliography Server
^ 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 biographical article about a Scottish scientist is a stub. You can help Wikipedia by expanding it.

This biography of a Scottish academic is a stub. You can help Wikipedia by expanding it.

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.