Bill Roscoe

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
Doctoral students	G. Mike Reed, Ranko Lazić, Gavin Lowe, Martin Ward
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, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.