Майкл В. Шилдс - Michael W. Shields - Wikipedia

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

Майкл ("Майк") Уильям Шилдс британец специалист в области информатики.

Обзор

Майк Шилдс работал преподавателем на факультете вычислительной техники в Университет Суррея в Гилфорд, южный Англия.[1] Его вклад в исследования был в теоретическая информатика, особенно в отношении параллелизм. В частности, он написал книги по теория автоматов[2] и семантика из параллельные вычисления.[3]

Встреча прошла в 2006 г. Британское компьютерное общество офисы в Лондон отметить вклад Шилдса в информатику (его "новаторская и элегантная фундаментальная работа над моделями параллелизма") после выхода на пенсию.[4] С тех пор он переехал в Мальта.[5]

Ф. X. Рейд

Ф. X. Рейд[6] (он же FXR) это псевдоним которые Шилдс иногда использовал в своих более юмористических произведениях и даже в своих серьезных работах.[7][8]

Рид был давним участником Британское компьютерное общество с FACS Группа специалистов FACS ФАКТЫ информационный бюллетень в прошлом. Например, он был энтузиастом РОДОМ ИЗ заявление и знаток его семантики.[9] Судя по сообщениям о смерти FXR в 2006 году[10] были неправдой, и его размышления продолжились и после этого в информационном бюллетене.

Самая известная работа Ф. X. Рейда: "Песня Хакаваты,"[11][12] а пародия из Генри Уодсворт Лонгфелло стихотворение Песнь о Гайавате содержащие ссылки на взлом, Unix и компиляторы. Ф. X. Рейд также упоминается в книгах по информатике.[2][3][13]

Рид сказал, что В программа доказательства, только наличие ошибки в доказательствах, а не в их отсутствии,[14] похоже, но не то же самое, что и известная цитата Э. В. Дейкстра о тестирование программного обеспечения.

Книги

Майкл У. Шилдс опубликовал ряд книг, в том числе:

  • Шилдс, Майкл В. (1987). Введение в теорию автоматов. Научные публикации Blackwell. ISBN  978-0632017560.
  • Квятковская, Марта З.; Шилдс, Майкл У .; Томас, Ричард М., ред. (23-25 ​​июля 1990 г.). Семантика параллелизма: материалы международного семинара BCS-FACS. Мастерские по вычислительной технике. Springer. ISBN  978-3540196259.
  • Шилдс, Майкл В. (1997). Семантика параллелизма: представление поведения без чередования. Springer. ISBN  978-3540760597.

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

  1. ^ "Доктор Майк В. Шилдс". ВЕЛИКОБРИТАНИЯ: Университет Суррея. Получено 17 ноября 2012.
  2. ^ а б Шилдс, Майкл В. (1987). Введение в теорию автоматов. Научные публикации Blackwell. ISBN  978-0632017560.
  3. ^ а б Шилдс, Майкл В. (1997). Семантика параллелизма: представление поведения без чередования. Springer. ISBN  978-3540760597.
  4. ^ «Модели параллелизма и открытых вычислений». ВЕЛИКОБРИТАНИЯ: Университет Суррея. 24 ноября 2006 г.. Получено 8 ноября 2012.
  5. ^ "Майк Шилдс". LinkedIn. Получено 7 ноября 2012.
  6. ^ "FXReid". LinkedIn. Получено 7 ноября 2012.
  7. ^ Шилдс, М. В. (1987). Введение в теорию автоматов. С. 2, 12, 209. ISBN  9780632017560.
  8. ^ Шилдс, М. В. (1997). Семантика параллелизма: представление поведения без чередования. С. 38, 56, 66. ISBN  9783540760597.
  9. ^ Рейд, Ф. X. (март 2006 г.). «О формальной семантике заявления COMEFROM» (PDF). FACS ФАКТЫ. Выпуск 2006-1. BCS-FACS. стр. 18–20. Получено 7 ноября 2012.
  10. ^ Земантика, Виктор (март 2006). "Некролог: Ф.X. Рейд" (PDF). FACS ФАКТЫ. Выпуск 2006-1. BCS-FACS. стр. 12–14. Получено 7 ноября 2012.
  11. ^ Рейд, Ф. X. (1989). "Песня Хакаваты". Шотландия: Стратклайдский университет. Архивировано из оригинал 26 марта 2005 г.. Получено 7 ноября 2012.
  12. ^ Ирмшер, Кристоф (2006). Лонгфелло Редукс. Университет Иллинойса Press. С. 123, 297. ISBN  9780252030635.
  13. ^ Коэн, Бернард; Харвуд, Уильям Т .; Джексон, Мелвин И. (1986). Спецификация сложных систем. Эддисон-Уэсли. п. 26. ISBN  978-0201144000.
  14. ^ "Ф. X. Рид - Фильм?". www.freaknet.org. Каталония: FreakNet Medialab. Получено 7 ноября 2012.

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