Bill Roscoe
Bill Roscoe | |
|---|---|
| Nacido | 1956 (edad 67-68) |
| Nacionalidad | escocés |
| Ciudadanía | Reino Unido |
| Alma máter | 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] |
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.
Educación y carrera
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]
Investigación
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) .
Referencias
- ^ de 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 el servidor 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
  | Este artículo biográfico sobre un científico escocés es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
 | Esta biografía de un académico escocés es un esbozo . Puedes ayudar a Wikipedia expandiéndola. |
 | Este artículo biográfico sobre un informático es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
