Bill Roscoe
Template:Short description Template:Use dmy dates Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
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 was a Professor of Computer Science. He was also Fellow of University College, Oxford until 2024.
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.[1] In 2024, a lecture theatre in the Department of Computer Science was named after Roscoe.Script error: No such module "Unsubst".
Research
Professor Roscoe works in the area of concurrency theory,[2] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[3] He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ Template:First word A. W. Roscoe at DBLP Bibliography ServerTemplate:EditAtWikidata
- ↑ Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. Template:ISBN (2010).
Script error: No such module "Check for unknown parameters".
External links
- Bill Roscoe home page
- Template:GoogleScholar
- Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
Template:Scotland-academic-bio-stub Script error: No such module "Article stub box".
- Pages with script errors
- 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