Andrew William Roscoe es un informático escocés . Fue Jefe del Departamento de Ciencias de la Computación de la Universidad de Oxford de 2003 a 2014 y es profesor de Ciencias de la Computación. También es miembro del University College de Oxford .
Roscoe nació en Dundee, Escocia . Estudió una licenciatura en matemáticas en el University College de Oxford, de 1975 a 1978, y se graduó con la máxima calificación en su año en la universidad. Continuó trabajando en el Laboratorio de Computación y recibió su Doctorado en Filosofía en 1982. Fue nombrado Tutor en University College en 1983 y se desempeñó como Tutor Principal de 1993 a 1997. Fue jefe del Departamento de Ciencias de la Computación 2003-08 y 2009. –14. [3]
El profesor Roscoe trabaja en el área de la teoría de la concurrencia , [4] en particular la base semántica de los procesos secuenciales de comunicación (CSP) y el lenguaje de programación occam asociado con Sir Tony Hoare . [5] Cofundó Formal Systems (Europe) Limited y trabajó en los algoritmos de la herramienta Failures-Divergence Refinement (FDR) .