Andrew William Roscoe is a Scottish
computer scientist. He was Head of the
Department of Computer Science, University of Oxford
The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...
from 2003 to 2014, and is a Professor of Computer Science. He is also a
Fellow
A fellow is a concept whose exact meaning depends on context.
In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements.
Within the context of higher education ...
of
University College, Oxford
University College (in full The College of the Great Hall of the University of Oxford, colloquially referred to as "Univ") is a constituent college of the University of Oxford in England. It has a claim to being the oldest college of the unive ...
.
Education and career
Roscoe was born in
Dundee, Scotland
Dundee (; sco, Dundee; gd, Dùn Dè or ) is Scotland's fourth-largest city and the 51st-most-populous built-up area in the United Kingdom. The mid-year population estimate for 2016 was , giving Dundee a population density of 2,478/km2 or ...
. 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.
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 ...
(CSP) and the associated
occam programming language
occam is a programming language which is concurrent and builds on the communicating sequential processes (CSP) process algebra, Inmos document 72 occ 45 03 and shares many of its features. It is named after philosopher William of Ockham after w ...
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
People 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