Майкл Спайви (более известный как Майк Спайви ) - британский ученый-компьютерщик из Оксфордского университета .
Спайви родился в 1960 году и получил образование в гимназии архиепископа Холгейта в Йорке , Англия. Он изучал математику в Христа - колледже в Кембридже , а затем провел DPhil в информатике на Z нотации в Wolfson College, Оксфорд и программирования Research Group , часть вычислительной лаборатории Оксфордского университета.
Майк Спайви - преподаватель вычислительной техники на факультете компьютерных наук Оксфордского университета, а также научный сотрудник компании Misys и Андерсона в области компьютерных наук Ориэл-колледжа в Оксфорде . [1] Его основные области научных интересов - компиляторы и языки программирования , особенно логическое программирование . Он написал компилятор Оберон-2 . [2]
Публикации
- Понимание Z: язык спецификации и его формальная семантика , Издательство Кембриджского университета , Кембриджские трактаты по теоретической информатике, № 3, 2008. ISBN 978-0-521-05414-0 .
- Обозначение Z: Справочное руководство , Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-978529-9 .
- Введение в логическое программирование через Prolog , Prentice Hall International Series in Computer Science, 1996. ISBN 0-13-536047-1 .
Рекомендации
- ^ «Доктор Майкл Спайви, преподаватель компьютерных наук» . Колледж Ориэл, Оксфорд . Проверено 26 сентября 2011 года .
- ↑ Майк Спайви, компилятор Oxford Oberon-2. Архивировано 5 июля 2007 г. в Wayback Machine .
Внешние ссылки
- Официальная домашняя страница
- Персональная домашняя страница
- Дж. Майкл Спайви на сервере библиографии DBLP