Michael Spivey (comúnmente conocido como Mike Spivey ) es un científico informático británico de la Universidad de Oxford .
Spivey nació en 1960 y estudió en la Archbishop Holgate's Grammar School de York , Inglaterra. Estudió matemáticas en el Christ's College de Cambridge y luego realizó un doctorado en informática sobre la notación Z en el Wolfson College de Oxford y en el Programming Research Group , parte del Laboratorio de Computación de la Universidad de Oxford.
Mike Spivey es profesor universitario de informática en el Departamento de Ciencias de la Computación de la Universidad de Oxford y miembro de la beca Misys and Anderson de Ciencias de la Computación en el Oriel College de Oxford . [1] Sus principales áreas de interés en materia de investigación son los compiladores y los lenguajes de programación , especialmente la programación lógica . Escribió un compilador Oberon-2 . [2]