Майкл Спайви
Майкл Спайви (широко известный как Майк Спайви ) — британский ученый-компьютерщик из Оксфордского университета .
Спиви родился в 1960 году и получил образование в гимназии архиепископа Холгейта в Йорке , Англия. Он изучал математику в Крайстс-колледже в Кембридже , а затем получил степень доктора компьютерных наук по нотации Z в Вольфсон-колледже в Оксфорде и в Группе исследований по программированию , входящей в состав вычислительной лаборатории Оксфордского университета.
Майк Спиви — преподаватель вычислительной техники на факультете компьютерных наук Оксфордского университета компании Misys и Anderson и научный сотрудник по информатике в Ориэл-колледже, Оксфорд . [1] Его основными областями научных интересов являются компиляторы и языки программирования , особенно логическое программирование . Он написал компилятор Оберона-2 . [2]
Публикации
[ редактировать ]- Понимание Z: язык спецификации и его формальная семантика , Издательство Кембриджского университета , Кембриджские трактаты по теоретической информатике, № 3, 2008. ISBN 978-0-521-05414-0 .
- Обозначение Z: справочное руководство , Международная серия Прентис Холл по информатике, 1992. ISBN 0-13-978529-9 .
- Введение в логическое программирование с помощью Пролога , Международная серия Прентис Холл по информатике, 1996. ISBN 0-13-536047-1 .
Ссылки
[ редактировать ]- ^ «Доктор Майкл Спайви, преподаватель информатики» . Ориэл-колледж, Оксфорд . Проверено 26 сентября 2011 г.
- ↑ Майк Спайви, компилятор Oxford Oberon-2. Архивировано 5 июля 2007 года в Wayback Machine .
Внешние ссылки
[ редактировать ]- Официальная домашняя страница
- Персональная домашняя страница
- Дж. Майкл Спиви на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о компьютерном специалисте из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта статья о биографии ученого из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . |
- 1960 рождений
- Живые люди
- Люди, получившие образование в школе архиепископа Холгейта
- Выпускники Крайстс-колледжа в Кембридже
- Выпускники Вольфсон-колледжа, Оксфорд
- Стипендиаты Ориэл-колледжа, Оксфорд
- английские ученые-компьютерщики
- Формальные методы люди
- Исследователи логического программирования
- Писатели по информатике
- Члены кафедры компьютерных наук Оксфордского университета
- Исследователи языков программирования
- Z-обозначение
- Незавершенные статьи о британских компьютерных специалистах
- Незавершённые британские академические биографии