Andrew William Roscoe is a Scottish

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

. 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 ...

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 univer ...

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 pro ...

(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 wh ...

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