Michael Spivey - Michael Spivey

Pro ostatní lidi jménem Mike Spivey viz Mike Spivey (disambiguation).

Michael Spivey (běžně známý jako Mike Spivey) je britský počítačový odborník na University of Oxford.

Spivey se narodil v roce 1960 a vystudoval Gymnázium arcibiskupa Holgate v York, Anglie. Studoval matematika na Kristova vysoká škola v Cambridge a poté podnikl DPhil v počítačová věda na Z notace na Wolfson College v Oxfordu a Programovací výzkumná skupina, součást Oxford University Computing Laboratory.

Mike Spivey je univerzitní lektor výpočetní techniky na Oxford University Department of Computer Science a Misys a Anderson Chlapík of Computer Science ve společnosti Oriel College v Oxfordu.[1] Jeho hlavní oblasti zájmu výzkumu jsou překladače a programovací jazyky, zvláště logické programování. Napsal Oberon-2 překladač.[2]

Publikace

  • Porozumění Z: Specifikační jazyk a jeho formální sémantika, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, č. 3, 2008. ISBN  978-0-521-05414-0.
  • Z notace: referenční příručka, International Series in Computer Science, Prentice Hall, 1992. ISBN  0-13-978529-9.
  • Úvod do logického programování prostřednictvím Prologu, Prentice Hall International Series in Computer Science, 1996. ISBN  0-13-536047-1.

Reference

  1. ^ „Dr. Michael Spivey, učitel informatiky“. Oriel College v Oxfordu. Citováno 26. září 2011.
  2. ^ Mike Spivey, Oxford Oberon-2 kompilátor Archivováno 5. Července 2007 v Wayback Machine.

externí odkazy