PeopleofSuperintelligence

Researcher

Michael Spivey

Also known as Mike Spivey

Michael Spivey is a computer scientist whose work includes logic-programming semantics, Prolog in Haskell, and the Oxford Oberon-2 compiler. Born in 1960, he studied mathematics at Christ's College, Cambridge, and undertook a DPhil on Z notation at Oxford. He wrote books on Z and Prolog, and coauthored papers on logic-program algebra and functional readings of logic programs. After nearly three decades as Oriel's Fellow and Tutor in Computer Science, he is an Emeritus Fellow at the college.

Born
1960
Works
6
Citations
102
h-index
2

Years link to their sources. Publication numbers from OpenAlex, as of 22 October 2026.

Timeline

  1. 1960–2008

    Cambridge maths and Z notation

    Born in 1960, he attends Archbishop Holgate's Grammar School in York and studies mathematics at Christ's College, Cambridge. He undertakes a computer-science DPhil on Z notation at Wolfson College, Oxford. In 2008, he publishes Understanding Z: A Specification Language and its Formal Semantics with Cambridge University Press.

  2. 1992

    A Z reference manual

    He publishes The Z Notation: A Reference Manual in 1992.

  3. 1996

    Logic programming through Prolog

    In 1996, he publishes An Introduction to Logic Programming through Prolog.

  4. 1999

    Algebra of logic programming

    With Silvija Seres and Tony Hoare, he publishes “Algebra of Logic Programming” in the proceedings of ICLP in November 1999. The paper develops an algebraic semantics for logic programming and examines laws shared by predicate calculus and Prolog’s depth-first strategy.

  5. 1999–2000

    Embedding Prolog in Haskell

    With Silvija Seres, he publishes “Embedding Prolog into Haskell” in September 1999. Their “Functional Reading of Logic Programs” appears in the Journal of Universal Computer Science in March 2000; each Prolog predicate becomes a Haskell function while preserving its declarative and procedural readings.

  6. September 2002

    The Oxford Oberon-2 compiler

    In September 2002, he writes the Oxford Oberon-2 compiler, a portable tool that translates Oberon-2 into bytecode.

  7. 2008

    Understanding Z

    He publishes Understanding Z: A Specification Language and its Formal Semantics with Cambridge University Press in 2008.

  8. Since 2024

    Emeritus Fellow at Oriel

    Since 2024, he is an Emeritus Fellow at Oriel College. In January 2026, Markus Brill succeeds him as Oriel's Fellow and Tutor in Computer Science after Spivey retires following nearly three decades in the role.

Career

  1. Since 2024University of OxfordFellow and Tutor in Computer Science, Emeritus Fellow

Education

  1. University of CambridgeMathematics student
  2. University of OxfordDPhil

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. A functional theory of exceptions1990 · Science of Computer Programming · 66 citations
  2. A categorical approach to the theory of lists1989 · Lecture notes in computer science · 35 citations
  3. A guide to the zed style option2005 · 1 citations
  4. Meeting the Challenge of Object-Oriented Programming2000 · Lecture notes in computer science · 0 citations
  5. The craft of prolog1991 · Science of Computer Programming · 0 citations

From OpenAlex, as of 21 October 2026.

  1. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes University of Oxford. We estimate where the people shaping AI worked when their most-cited papers appeared: the company share was 31% in 2020–2024 and 8% in 1970–1974, and Google led all organizations in 2020–2024.
  2. The median h-index is 48 at universities and 14 at frontier AI labsIncludes University of Oxford. The median h-index is 48 at universities and 14 at frontier AI labs. We compare publishing careers, recent citations, dual appointments and job moves across 2,420 university researchers and 308 frontier-lab researchers.
  3. Companies supply the most prior-work hires at 7 of the 9 frontier AI labsIncludes University of Oxford. Our estimates of the organizations where 550 people worked directly before joining 9 frontier AI labs across 620 career transitions, comparing the main feeder organizations per lab.
  4. 84% of people shaping AI with recorded undergraduate and doctoral schools changed institutions for their doctorateIncludes University of Oxford. 84% of people shaping AI with recorded undergraduate and doctoral schools changed institutions for their doctorate. Across 2,116 people with both an undergraduate degree and a doctorate recorded, we trace which undergraduate schools feed which doctoral programs, how often students stay at the same school, and how paths differ by birth-country region.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Michael Spivey yet. Send us a free-licensed photo.

  1. Michael Spivey - Wikipedia en.wikipedia.org. Checked 20 October 2026.
  2. Michael Spivey - Oriel College oriel.ox.ac.uk. Checked 20 October 2026.
  3. ICLP'99 Paper Abstract silvija.net. Checked 20 October 2026.
  4. Academic Papers by Silvija Seres and others silvijaseres.me. Checked 20 October 2026.
  5. (S. Seres, M. Spivey) Functional Reading of Logic Programs jucs.org. Checked 20 October 2026.
  6. Compilers / Programming Languages caml.inria.fr. Checked 20 October 2026.
  7. New Computer Science Fellow researches algorithms for fair decision-making - Oriel College oriel.ox.ac.uk. Checked 20 October 2026.