Michael Spivey (comúnmente conocido como Mike Spivey ) es un informático británico de la Universidad de Oxford .
Spivey nació en 1960 y se educó en la escuela secundaria del arzobispo Holgate en York , Inglaterra. Estudió matemáticas en Christ's College, Cambridge y luego realizó un doctorado en ciencias de la computación en notación Z en Wolfson College, Oxford y el Programming Research Group , parte del Laboratorio de Computación de la Universidad de Oxford.
Mike Spivey es profesor universitario de Computación en el Departamento de Ciencias de la Computación de la Universidad de Oxford y Misys and Anderson Fellow of Computer Science en Oriel College, Oxford . [1] Sus principales áreas de interés de investigación son los compiladores y lenguajes de programación , especialmente la programación lógica . Escribió un compilador de Oberon-2 . [2]
Publicaciones
- Comprensión de Z: un lenguaje de especificación y su semántica formal , Cambridge University Press , Cambridge Tracts in Theoretical Computer Science, No. 3, 2008. ISBN 978-0-521-05414-0 .
- La notación Z: manual de referencia , Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-978529-9 .
- Una introducción a la programación lógica a través de Prolog , Prentice Hall International Series in Computer Science, 1996. ISBN 0-13-536047-1 .
Referencias
- ^ "Dr. Michael Spivey, tutor en informática" . Oriel College, Oxford . Consultado el 26 de septiembre de 2011 .
- ^ Mike Spivey, compilador de Oxford Oberon-2 Archivado el 5 de julio de 2007 en Wayback Machine .
enlaces externos
- Página de inicio oficial
- Página personal
- J. Michael Spivey en el servidor de bibliografía DBLP