Майкл В. Шилдс

Майкл ( «Майк» ) Уильям Шилдс , 20 января 1950 г. - 24 сентября 2023 г. ( 73 года) ( 20 января 1950 г. ) ^{[ нужна ссылка ]} был британским ученым-компьютерщиком .

Обзор

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

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

Форекс Рид

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

Рид долгое время работал в компьютерного общества Британского FACS Группы специалистов информационном бюллетене FACS FACTS В прошлом . Например, он был энтузиастом заявления COMEFROM и экспертом по его семантике. ^{[ 9 ]} Судя по всему, сообщения о смерти FXR в 2006 году. ^{[ 10 ]} были неправдой, и после этого его размышления продолжились в информационном бюллетене.

Самая известная работа FX Рида — « Песнь о Хакавате ». ^{[ 11 ]}^{[ 12 ]} пародия Песнь на Генри Уодсворта Лонгфелло « стихотворение о Гайавате», содержащее ссылки на хакерство , Unix и компиляторы . FX Reid также упоминался в книгах по информатике. ^{[ 2 ]}^{[ 3 ]}^{[ 13 ]}

Цитируются слова Рида: « При доказательстве программ можно установить только наличие ошибок в доказательстве, а не их отсутствие» . ^{[ 14 ]} похоже, но не совпадает с известной цитатой Э. У. Дейкстры о тестировании программного обеспечения .

Книги

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

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

Ссылки

^ «Доктор Майк В. Шилдс» . Великобритания: Университет Суррея . Проверено 17 ноября 2012 г.
^ Перейти обратно: ^а ^б Шилдс, Майкл В. (1987). Введение в теорию автоматов . Научные публикации Блэквелла . ISBN 978-0632017560 .
^ Перейти обратно: ^а ^б Шилдс, Майкл В. (1997). Семантика параллелизма: нечередующееся представление поведения . Спрингер . ISBN 978-3540760597 .
^ «Модели параллелизма и открытых вычислений» . Великобритания: Университет Суррея . 24 ноября 2006 г. Проверено 8 ноября 2012 г.
^ «Майк Шилдс» . ЛинкедИн . Проверено 7 ноября 2012 г.
^ «Фексрейд» . ЛинкедИн . Проверено 7 ноября 2012 г.
^ Шилдс, М.В. (1987). Введение в теорию автоматов . Научные публикации Блэквелла. стр. 2, 12, 209. ISBN. 9780632017560 .
^ Шилдс, М.В. (1997). Семантика параллелизма: нечередующееся представление поведения . Спрингер. стр. 38, 56, 66. ISBN. 9783540760597 .
^ Рид, FX (март 2006 г.). «О формальной семантике заявления COMEFROM» (PDF) . ФАКТЫ ФАКС . Том. Выпуск 2006-1. БКС-ФАКС. стр. 18–20 . Проверено 7 ноября 2012 г. {{cite news}}: |volume= есть дополнительный текст ( помощь )
^ Земантика, Виктор (март 2006 г.). «Некролог: FX Reid» (PDF) . ФАКТЫ ФАКС . Том. Выпуск 2006-1. БКС-ФАКС. стр. 12–14 . Проверено 7 ноября 2012 г. {{cite news}}: |volume= есть дополнительный текст ( помощь )
^ Рид, FX (1989). «Песня о Хакавате» . Шотландия: Университет Стратклайда . Архивировано из оригинала 26 марта 2005 года . Проверено 7 ноября 2012 г.
^ Ирмшер, Кристоф (2006). Лонгфелло Редукс . Издательство Университета Иллинойса . стр. 123, 297. ISBN. 9780252030635 .
^ Коэн, Бернард; Харвуд, Уильям Т.; Джексон, Мелвин И. (1986). Спецификация сложных систем . Аддисон-Уэсли . п. 26. ISBN 978-0201144000 .
^ "FX Рид — Фильм?" . www.freaknet.org . Каталония: FreakNet Medialab . Проверено 7 ноября 2012 г.

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

Майкл В. Шилдс на DBLP библиографическом сервере
Публикации Майкла В. Шилдса, индексированные Microsoft Academic
Майкла В. Шилдса Страница профиля автора ACM в цифровой библиотеке

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

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

[1] «Доктор Майк В. Шилдс» . Великобритания: Университет Суррея . Проверено 17 ноября 2012 г.

[mws1-2] Перейти обратно: ^а ^б Шилдс, Майкл В. (1987). Введение в теорию автоматов . Научные публикации Блэквелла . ISBN 978-0632017560 .

[mws2-3] Перейти обратно: ^а ^б Шилдс, Майкл В. (1997). Семантика параллелизма: нечередующееся представление поведения . Спрингер . ISBN 978-3540760597 .

[4] «Модели параллелизма и открытых вычислений» . Великобритания: Университет Суррея . 24 ноября 2006 г. Проверено 8 ноября 2012 г.

[5] «Майк Шилдс» . ЛинкедИн . Проверено 7 ноября 2012 г.

[6] «Фексрейд» . ЛинкедИн . Проверено 7 ноября 2012 г.

[mws1-fxr-7] Шилдс, М.В. (1987). Введение в теорию автоматов . Научные публикации Блэквелла. стр. 2, 12, 209. ISBN. 9780632017560 .

[mws2-fxr-8] Шилдс, М.В. (1997). Семантика параллелизма: нечередующееся представление поведения . Спрингер. стр. 38, 56, 66. ISBN. 9783540760597 .

[9] Рид, FX (март 2006 г.). «О формальной семантике заявления COMEFROM» (PDF) . ФАКТЫ ФАКС . Том. Выпуск 2006-1. БКС-ФАКС. стр. 18–20 . Проверено 7 ноября 2012 г. {{cite news}}: |volume= есть дополнительный текст ( помощь )

[10] Земантика, Виктор (март 2006 г.). «Некролог: FX Reid» (PDF) . ФАКТЫ ФАКС . Том. Выпуск 2006-1. БКС-ФАКС. стр. 12–14 . Проверено 7 ноября 2012 г. {{cite news}}: |volume= есть дополнительный текст ( помощь )

[11] Рид, FX (1989). «Песня о Хакавате» . Шотландия: Университет Стратклайда . Архивировано из оригинала 26 марта 2005 года . Проверено 7 ноября 2012 г.

[12] Ирмшер, Кристоф (2006). Лонгфелло Редукс . Издательство Университета Иллинойса . стр. 123, 297. ISBN. 9780252030635 .

[13] Коэн, Бернард; Харвуд, Уильям Т.; Джексон, Мелвин И. (1986). Спецификация сложных систем . Аддисон-Уэсли . п. 26. ISBN 978-0201144000 .

[14] "FX Рид — Фильм?" . www.freaknet.org . Каталония: FreakNet Medialab . Проверено 7 ноября 2012 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

Базы данных авторитетного контроля
Международный	ВИАФ
Национальный	Израиль Соединенные Штаты
академики	Ассоциация вычислительной техники ЦиНии ДБЛП
Другой	ИдРеф