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

University of Oxford The University of Oxford is a collegiate university, 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 List of oldest un ...

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

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

, England. He studied

mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

Christ's College, Cambridge Christ's College is a Colleges of the University of Cambridge, constituent college of the University of Cambridge, England. The college includes the Master, the Fellows of the College, and about 450 undergraduate and 250 graduate students. The c ...

and then undertook a

DPhil A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied 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 Abria ...

Wolfson College, Oxford Wolfson College () is a Colleges of the University of Oxford, constituent college of the University of Oxford in England. Wolfson is an all-graduate college, it prides itself on being one of the most international colleges at Oxford, with part ...

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 title and form of address for distinguished, learned, or skilled individuals in academia, medicine, research, and industry. The exact meaning of the term differs in each field. In learned society, learned or professional society, p ...

of Computer Science at

Oriel College, Oxford Oriel College () is Colleges of the University of Oxford, 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 for ...

. His main areas of research interest are

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

s and

programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...

s, especially

logic programming Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...

. He wrote an

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

compiler.Mike Spivey
Oxford Oberon-2 compiler
.

Publications

*
Understanding Z: A Specification Language and its Formal Semantics
',

Cambridge University Press Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessme ...

, 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 a major American publishing#Textbook_publishing, educational publisher. It published print and digital content for the 6–12 and higher-education market. It was an independent company throughout the bulk of the twentieth cen ...

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