Michael Spivey

John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.

Spivey was educated at Archbishop Holgate's Grammar School in York, northern England. He studied mathematics at Christ's College, Cambridge and then undertook a DPhil in computer science on the Z notation at Wolfson College, Oxford and the Programming Research Group, part of the Oxford University Computing Laboratory.

Mike Spivey is a University Lecturer in Computation at the Department of Computer Science in the University of Oxford and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford.^[1] His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.^[2]

Publications

• Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, No. 3, 2008. ISBN 9780521054140.
• The Z Notation: A reference manual, Prentice Hall International Series in Computer Science, 1992. ISBN 0139785299.
• An introduction to logic programming through Prolog, Prentice Hall International Series in Computer Science, 1996. ISBN 0135360471.

References

1. ^ "Dr Michael Spivey, Tutor in Computer Science". Oriel College, Oxford. http://www.oriel.ox.ac.uk/content/dr-michael-spivey. Retrieved 26 September 2011. 
2. ^ Mike Spivey, Oxford Oberon-2 compiler.

External links

• Official home page
• Personal home page
• J. Michael Spivey bibliography in the DBLP database

Persondata
Name	Spivey, Mike
Alternative names
Short description	Computer scientist
Date of birth
Place of birth	England
Date of death
Place of death

This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.v ·

This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.v · Categories: 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 Oxford University Computing Laboratory Programming language researchers Z notation British computer specialist stubs British academic biography stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем решить контрольную работу Michael Spindelegger Michael Spring Look at other dictionaries: Michael Schur — Born Michael Herbert Schur October 29, 1975 (1975 10 29) (age 36) West Hartford, Connecticut, U.S. Pen name Ken Tremendous Occupation Television producer, screenwriter, actor …   Wikipedia Nigel Spivey — Nigel Jonathan Spivey (October 16, 1958) is a British academic. He teaches classical art and archaeology at the University of Cambridge, where he is a Fellow of Emmanuel College. He has written extensively on the Etruscans and on the Olympic… …   Wikipedia Fictive Motion — is a relatively new subject in psycholinguistics and cognitive linguistics. Fictive motion is motion that is not actually happening in the physical world; it is an imagined type of motion whereby we construct a visual image of a specific scene… …   Wikipedia Z notation — The Z notation (formally pronEng|zɛd), named after Zermelo Fränkel set theory, is a formal specification language used for describing and modeling computing systems. It is targeted at the clear specification of computer programs and the… …   Wikipedia Mindpixel — was a web based collaborative artificial intelligence project which aimed to create a knowledgebase of millions of human validated true/false statements, or probabilistic propositions. It ran from 2000 to 2005. Contents 1 Description 2 See also 3 …   Wikipedia Lenguaje Z — Lenguaje Z. El Lenguaje Z es un lenguaje formal utilizado en Ingeniería del software para la especificación formal de un sistema de cómputo, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.… …   Wikipedia Español List of Oriel College people — Walter Raleigh, by Nicholas Hilliard, c.1585. This is an incomplete list of notable people affiliated with Oriel College, Oxford University, England, including former students, academics, provosts and honorary fellows. Conten …   Wikipedia Model-based specification — is an approach to formal specification where the system specification is expressed as a system state model. This state model is constructed using well understood mathematical entities such as sets and functions. System operations are specified by …   Wikipedia Lingüística cognitiva — La Lingüística cognitiva es un estudio interdisciplinar de la lingüística y de la psicología cognitiva. Contenido 1 Historia 2 Lingüistas Cognitivos 2.1 Psicólogos 2.2 …   Wikipedia Español Lingüística cognoscitiva — La Lingüística cognoscitiva es un estudio interdisciplinar de la lingüística y de la ciencia cognoscitiva. El principio básico de estos estudios es que el uso del lenguaje debe explicarse en relación con los procesos mentales que subyacen a dicho …   Enciclopedia Universal 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”