Michael Spivey

W przypadku innych osób o imieniu Mike Spivey zobacz Mike Spivey (ujednoznacznienie) .

Michael Spivey (powszechnie znany jako Mike Spivey ) jest brytyjskim informatykiem na Uniwersytecie Oksfordzkim .

Spivey urodził się w 1960 roku i kształcił się w Gimnazjum Arcybiskupa Holgate'a w Yorku w Anglii. Studiował matematykę w Christ's College w Cambridge, a następnie zrobił doktorat z informatyki w notacji Z w Wolfson College w Oksfordzie oraz w Programming Research Group , części Oxford University Computing Laboratory.

Mike Spivey jest wykładowcą uniwersyteckim informatyki na Wydziale Informatyki Uniwersytetu Oksfordzkiego oraz Misys and Anderson Fellow of Computer Science w Oriel College w Oksfordzie . Jego głównymi obszarami zainteresowań badawczych są kompilatory i języki programowania , w szczególności programowanie w logice . Napisał Oberon-2 .

Publikacje

•   Zrozumienie Z: język specyfikacji i jego formalna semantyka , Cambridge University Press , Cambridge Tracts in Theoretical Computer Science, nr 3, 2008. ISBN 978-0-521-05414-0 .
•   Notacja Z: podręcznik referencyjny , Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-978529-9 .
•   Wprowadzenie do programowania logiki przez Prolog , Prentice Hall International Series in Computer Science, 1996. ISBN 0-13-536047-1 .

Linki zewnętrzne

• Oficjalna strona główna
• Osobista strona główna
• J. Michael Spivey na serwerze bibliograficznym DBLP