Michael Spivey

För andra personer som heter Mike Spivey, se Mike Spivey (disambiguation) .

Michael Spivey (allmänt känd som Mike Spivey ) är en brittisk datavetare vid University of Oxford .

Spivey föddes 1960 och utbildade sig vid Archbishop Holgate's Grammar School i York , England. Han studerade matematik vid Christ's College, Cambridge och tog sedan en DPhil i datavetenskap på Z-notationen vid Wolfson College, Oxford och Programming Research Group , en del av Oxford University Computing Laboratory.

Mike Spivey är universitetslektor i beräkningar vid Oxford University Department of Computer Science och Misys och Anderson Fellow of Computer Science vid Oriel College, Oxford . Hans huvudsakliga forskningsintresse är kompilatorer och programmeringsspråk , särskilt logisk programmering . Han skrev en Oberon-2- kompilator.

Publikationer

•   Understanding Z: A Specification Language and its Formal Semantics , Cambridge University Press , Cambridge Tracts in Theoretical Computer Science, nr 3, 2008. ISBN 978-0-521-05414-0 .
•   The Z Notation: A reference manual , Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-978529-9 .
•   En introduktion till logisk programmering genom Prolog , Prentice Hall International Series in Computer Science, 1996. ISBN 0-13-536047-1 .

externa länkar

• Officiell hemsida
• Personlig hemsida
• J. Michael Spivey på DBLP Bibliography Server