Biography.guide
Home › People › Computer scientist › Michael Spivey
Portrait of Michael Spivey

Michael Spivey

b. 1960

Computer scientist

Don't just read it — keep itBiographies to ownE-book · Audio · Video From $7 →

About Michael Spivey

Born 1960. Michael Spivey is a computer scientist and engineer.

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

Biography shop

Don’t just read it —
keep it.

Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.

  • E-book
  • Audio
  • Video
Browse the shop — from $7

Instant download · yours to keep · every purchase keeps this site free

Important facts

Born
1960, England
Birth century
Education
Christ's College, Wolfson College, Archbishop Holgate's School
Also known as
John Michael Spivey, J. Michael Spivey, Mike Spivey

People in Michael Spivey's life

Named in this biography and alive at the same time

Contemporaries

People whose lives overlapped Michael Spivey's

Frequently asked questions

Who is Michael Spivey?

computer scientist

When was Michael Spivey born?

Michael Spivey was born in 1960 in England.

What is Michael Spivey's occupation?

Michael Spivey is a computer scientist and engineer.

Sources & further reading

· Wikipedia: Michael Spivey

· Wikidata: Q14946959

· DBpedia: Michael Spivey

Cite this page

APA: Biography.guide. (2026). Michael Spivey. https://biography.guide/michael-spivey/

MLA: "Michael Spivey." Biography.guide, https://biography.guide/michael-spivey/.

Chicago: "Michael Spivey." Biography.guide. https://biography.guide/michael-spivey/.

Data last updated: 2026-09-20 · Spot an error? Report a correction.

Page generated 2026-09-27 05:28 UTC