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 ...
in
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 ...
at
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 pagePersonal 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