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

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

Спайви родился в 1960 году и получил образование в гимназии архиепископа Холгейта в Йорке , Англия. Он изучал математику в Христа - колледже в Кембридже , а затем провел DPhil в информатике на Z нотации в Wolfson College, Оксфорд и программирования Research Group , часть вычислительной лаборатории Оксфордского университета.

Майк Спайви - преподаватель вычислительной техники на факультете компьютерных наук Оксфордского университета, а также научный сотрудник компании Misys и Андерсона по компьютерным наукам в Ориэл-колледже, Оксфорд . Его основные области научных интересов - компиляторы и языки программирования , особенно логическое программирование . Он написал компилятор Оберон-2 .

Публикации

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

Ссылки

внешние ссылки

• Официальная домашняя страница
• Персональная домашняя страница
• Дж. Майкл Спайви на сервере библиографии DBLP

Эта статья о компьютерном специалисте из Великобритании - незавершенная . Вы можете помочь Википедии, расширив ее . v т е

Эта биографическая статья академика Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . v т е