Michael Spivey

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

Spivey was educated at Archbishop Holgate's Grammar School in York, northern 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 Department of Computer Science in the University of Oxford and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.

Publications

• Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, No. 3, 2008. ISBN 9780521054140.
• The Z Notation: A reference manual, Prentice Hall International Series in Computer Science, 1992. ISBN 0139785299.
• An introduction to logic programming through Prolog, Prentice Hall International Series in Computer Science, 1996. ISBN 0135360471.

External links

• Official home page
• Personal home page
• List of publications from the DBLP Bibliography Server.