Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the

University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...

. Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in

York York is a cathedral city with Roman origins, sited at the confluence of the rivers Ouse and Foss in North Yorkshire, England. It is the historic county town of Yorkshire. The city has many historic buildings and other structures, such as a ...

, England. He studied mathematics at Christ's College, Cambridge and then undertook a

DPhil A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is ...

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...

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 Abria ...

Wolfson College, Oxford Wolfson College () is a constituent college of the University of Oxford in England. Located in north Oxford along the River Cherwell, Wolfson is an all-graduate college with around sixty governing body fellows, in addition to both research a ...

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 The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

and Misys and Anderson

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of Computer Science at Oriel College, Oxford. His main areas of research interest are

compiler In computing, a compiler is a computer program that translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primarily used for programs tha ...

s and

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

s, especially

logic programming Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic pro ...

. 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 University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambridge University Pre ...

, 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. .

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