Майкл Спайви - Michael Spivey

О других людях по имени Майк Спайви см. Майк Спайви (значения).

Майкл Спайви (широко известный как Майк Спайви) - британский ученый-компьютерщик Оксфордский университет.

Спайви родился в 1960 г., получил образование в Средняя школа архиепископа Холгейта в Йорк, Англия. Он учился математика в Колледж Христа, Кембридж а затем предпринял DPhil в Информатика на Обозначение Z в Колледж Вольфсона, Оксфорд и Группа исследования программирования, часть вычислительной лаборатории Оксфордского университета.

Майк Спайви - преподаватель вычислительной техники Оксфордский университет, факультет компьютерных наук и Мисис и Андерсон Парень компьютерных наук в Oriel College, Оксфорд.[1] Его основные области научных интересов: компиляторы и языки программирования, особенно логическое программирование. Он написал Оберон-2 компилятор.[2]

Публикации

  • Понимание Z: язык спецификации и его формальная семантика, Издательство Кембриджского университета, Кембриджский трактат по теоретической информатике, № 3, 2008 г. ISBN  978-0-521-05414-0.
  • Обозначение Z: справочное руководство, Международная серия Prentice Hall по компьютерным наукам, 1992. ISBN  0-13-978529-9.
  • Введение в логическое программирование через Prolog, Prentice Hall Международная серия по информатике, 1996. ISBN  0-13-536047-1.

Рекомендации

  1. ^ «Доктор Майкл Спайви, преподаватель компьютерных наук». Oriel College, Оксфорд. Получено 26 сентября 2011.
  2. ^ Майк Спайви, Компилятор Oxford Oberon-2 В архиве 5 июля 2007 г. Wayback Machine.

внешняя ссылка