He was appointed Tutorial Fellow at University College in 1983 and served as Senior Tutor from 1993 to 1997.
[3] In 2024, a lecture theatre in the Department of Computer Science was named after Roscoe.
[citation needed] 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.
You can help Wikipedia by expanding it.This biographical article relating to a computer specialist is a stub.