Michael Spivey

{{short description|British computer scientist}}

{{otherpeople|Mike Spivey}}

{{Use dmy dates|date=January 2018}}

{{Use British English|date=January 2018}}

Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.

Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in York, England. He studied mathematics at Christ's College, Cambridge and then undertook a DPhil in computer science on the Z notation at Wolfson College, Oxford and the Programming Research Group, part of the Oxford University Computing Laboratory.

Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford.{{cite web | title=Dr Michael Spivey, Tutor in Computer Science | url=http://www.oriel.ox.ac.uk/content/dr-michael-spivey | publisher=Oriel College, Oxford|accessdate=26 September 2011}} His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.Mike Spivey, [http://spivey.oriel.ox.ac.uk/corner/Oxford_Oberon-2_compiler Oxford Oberon-2 compiler] {{webarchive|url=https://web.archive.org/web/20070705213044/http://spivey.oriel.ox.ac.uk/mike/obc/ |date=5 July 2007 }}.