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

University of Oxford The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world's second-oldest university in contin ...

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

York York is a cathedral city with Roman Britain, Roman origins, sited at the confluence of the rivers River Ouse, Yorkshire, Ouse and River Foss, Foss in North Yorkshire, England. It is the historic county town of Yorkshire. The city has many hist ...

, England. He studied mathematics at

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

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 (includin ...

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

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

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 in 2011. The PRG was founded by ...

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

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

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

s, especially

logic programming Logic programming is a programming paradigm which is largely based on formal logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of log ...

. 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 Henry VIII of England, King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambr ...

, 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