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ó matemáticas en el University College de Oxford, de 1975 a 1978, y se graduó con la máxima calificación de 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 Tutorial Fellow en University College en 1983 y se desempeñó como Tutor Principal de 1993 a 1997. Fue director 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] Fue cofundador de Formal Systems (Europe) Limited y trabajó en los algoritmos para la herramienta Failures-Divergence Refinement (FDR) .
Este artículo biográfico sobre un científico escocés es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .
Este artículo biográfico relacionado con un especialista en informática es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .