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 Christian denominations, an archbishop is a bishop of higher rank or office. In most cases, such as the Catholic Church, there are many archbishops who either have jurisdiction over an ecclesiastical province in addition to their own archdioc ...

in York, England. He studied

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

Christ's College, Cambridge Christ's College is a constituent college of the University of Cambridge. The college includes the Master, the Fellows of the College, and about 450 undergraduate and 170 graduate students. The college was founded by William Byngham in 1437 as ...

and then undertook a DPhil in computer science on the

Z notation The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial ...

at Wolfson College, Oxford and the

Programming Research Group The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science, University of Oxford, Department ...

, 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 Oriel College () is a constituent college of the University of Oxford in Oxford, England. Located in Oriel Square, the college has the distinction of being the oldest royal foundation in Oxford (a title formerly claimed by University College, wh ...

. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an

Oberon-2 Oberon-2 is an extension of the original Oberon programming language that adds limited reflection and object-oriented programming facilities, open arrays as pointer base types, read-only field export, and reintroduces the FOR loop from Modula-2. ...

compiler.Mike Spivey
Oxford 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. . *
The Z Notation: A reference manual
', Prentice Hall International Series in Computer Science, 1992. . *
An introduction to logic programming through Prolog
',

Prentice Hall Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari B ...

International Series in Computer Science, 1996. .

References

External links

Official home page

Personal home page
* 1960 births Living people People educated at Archbishop Holgate's School Alumni of Christ's College, Cambridge Alumni of Wolfson College, Oxford Fellows of Oriel College, Oxford English computer scientists Formal methods people Logic programming researchers Computer science writers Members of the Department of Computer Science, University of Oxford Programming language researchers Z notation {{UK-academic-bio-stub