Andrew William Roscoe es un informático escocés . Fue director del Departamento de Ciencias de la Computación de la Universidad de Oxford entre 2003 y 2014 y profesor de Ciencias de la Computación. También fue miembro del University College de Oxford hasta 2024.
Roscoe nació en Dundee, Escocia . Estudió una licenciatura en matemáticas en el University College de Oxford entre 1975 y 1978, graduándose con la máxima calificación en su año en la universidad. Trabajó en el Laboratorio de Computación y recibió su doctorado en 1982. Fue nombrado Tutorial Fellow en el University College en 1983 y se desempeñó como Tutor Senior entre 1993 y 1997. Fue director del Departamento de Ciencias de la Computación entre 2003 y 2008 y entre 2009 y 2014. [3]
El profesor Roscoe trabaja en el área de la teoría de la concurrencia , [4] en particular en 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] Fue cofundador de Formal Systems (Europe) Limited y trabajó en los algoritmos para la herramienta Failures-Divergence Refinement (FDR) .