Bill Roscoe
Born1956 (age 67–68)
Dundee, Scotland
NationalityScottish
CitizenshipUnited Kingdom
Alma materUniversity of Oxford
Known forCommunicating Sequential Processes
Scientific career
FieldsComputer science
InstitutionsUniversity of Oxford
ThesisA Mathematical Theory of Communicating Processes (1982)
Doctoral advisorC. A. R. Hoare[1]
Doctoral studentsG. Mike Reed[1]
Gavin Lowe[2]

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

Education and career

Roscoe was born in Dundee, Scotland. 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.[3]

Research

Professor Roscoe works in the area of concurrency theory,[4] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[5] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.

References

  1. 1 2 Bill Roscoe at the Mathematics Genealogy Project
  2. ↑ Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
  3. ↑ "Bill Roscoe". Department of Computer Science. Retrieved 16 December 2020.
  4. ↑ A. W. Roscoe at DBLP Bibliography Server
  5. ↑ 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 article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.