Andrew William Roscoe is a Scottish
computer scientist
A computer scientist is a scientist who specializes in the academic study of computer science.
Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...
. He was Head of the
Department of Computer Science, University of Oxford from 2003 to 2014, and was a Professor of Computer Science. He was also
Fellow
A fellow is a title and form of address for distinguished, learned, or skilled individuals in academia, medicine, research, and industry. The exact meaning of the term differs in each field. In learned society, learned or professional society, p ...
of
University College, Oxford
University College, formally The Master and Fellows of the College of the Great Hall of the University commonly called University College in the University of Oxford and colloquially referred to as "Univ", is a Colleges of the University of Oxf ...
until 2024.
Education and career
Roscoe was born in
Dundee, Scotland
Dundee (; ; or , ) is the List of towns and cities in Scotland by population, fourth-largest city in Scotland. The mid-year population estimate for the locality was . It lies within the eastern central Lowlands on the north bank of the Firt ...
. He studied for a degree in mathematics at University College, Oxford, from 1975 to 1978, graduating with the top mark for his year in the university. He went on to work at the Computing Laboratory and received his DPhil in 1982. He was appointed Tutorial Fellow at University College in 1983 and served as Senior Tutor from 1993 to 1997. He was head of the
Department of Computer Science 2003-08 and 2009–14. In 2024, a lecture theatre in the Department of Computer Science was named after Roscoe.
Research
Professor Roscoe works in the area of
concurrency theory, in particular the semantic underpinning of
Communicating Sequential Processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or p ...
(CSP) and the associated
occam programming language with
Sir Tony Hoare.
[Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), ''Reflections on the Work of C.A.R. Hoare''. ]Springer
Springer or springers may refer to:
Publishers
* Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag.
** Springer Nature, a multinationa ...
. (2010). He co-founded ''Formal Systems (Europe) Limited'' and worked on the algorithms for the ''
Failures-Divergence Refinement (FDR)'' tool.
References
External links
Bill Roscoe home page*
*
Living people
Scientists from Dundee
People educated at the High School of Dundee
Alumni of University College, Oxford
Scottish computer scientists
Members of the Department of Computer Science, University of Oxford
Formal methods people
Fellows of University College, Oxford
Scottish scholars and academics
1956 births
{{compu-bio-stub