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 .
Bill Roscoe | |
---|---|
Nació | 1956 (64 a 65 años de edad) |
Nacionalidad | escocés |
Ciudadanía | Reino Unido |
alma mater | Universidad de Oxford |
Conocido por | Comunicación de procesos secuenciales |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Oxford |
Tesis | Una teoría matemática de los procesos de comunicación (1982) |
Asesor de doctorado | COCHE Hoare [1] |
Estudiantes de doctorado | G. Mike Reed [1] Gavin Lowe [2] |
Educación y carrera
Roscoe nació en Dundee, Escocia . Estudió una licenciatura en matemáticas en el University College, 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 título de Doctor 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]
Investigar
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) .
Referencias
- ^ a b Bill Roscoe en el Proyecto de genealogía matemática
- ^ Lowe, Gavin (1994). Probabilidades y prioridades en CSP cronometrado (DPhil). Universidad de Oxford .
- ^ "Bill Roscoe" . Departamento de Ciencias de la Computación . Consultado el 16 de diciembre de 2020 .
- ^ AW Roscoe en elservidor de bibliografía DBLP
- ^ Roscoe, AW, Jones, CB y Wood, K. (eds.), Reflexiones sobre el trabajo de CAR Hoare . Springer . ISBN 978-1-84882-911-4 (2010).
enlaces externos
- Página de inicio de Bill Roscoe
- Publicaciones de Bill Roscoe indexadas por Google Scholar
- Bill Roscoe en el Proyecto de genealogía matemática