Michael W. Shields

W przypadku innych osób o nazwisku Michael Shields zobacz Michael Shields (ujednoznacznienie) .

Michael ( „Mike” ) William Shields jest brytyjskim informatykiem .

Przegląd

Mike Shields jest pracownikiem naukowym na Wydziale Informatyki Uniwersytetu Surrey w Guildford w południowej Anglii . Jego wkład w badania naukowe dotyczył informatyki teoretycznej , zwłaszcza współbieżności . W szczególności jest autorem książek na temat teorii automatów i semantyki obliczeń równoległych .

londyńskich biurach British Computer Society odbyło się spotkanie , aby uczcić wkład Shieldsa w informatykę (jego „ innowacyjna i elegancka podstawowa praca nad modelami współbieżności ”) po przejściu na emeryturę. Od tego czasu przeniósł się na Maltę .

FX Reid

FX Reid (aka FXR ) to pseudonim , którego Shields czasami używał w swoich bardziej humorystycznych pismach, a nawet w swoich poważnych pracach.

w przeszłości długoletnim współpracownikiem biuletynu FACS Specialist Group FACS FACTS Brytyjskiego Towarzystwa Komputerowego . Na przykład był entuzjastą instrukcji COMEFROM i znawcą jej semantyki. Najwyraźniej doniesienia o śmierci FXR w 2006 roku były nieprawdziwe, a jego rozmyślania kontynuowano po tym czasie w biuletynie.

Najbardziej znanym dziełem FX Reida jest „ The Song of Hakawatha ”, parodia wiersza Henry'ego Wadswortha Longfellowa The Song of Hiawatha , zawierającego odniesienia do hakowania , Unixa i kompilatorów . FX Reid został również wymieniony w książkach informatycznych.

Cytowano Reida, który powiedział , że w dowodzie programowym można stwierdzić tylko obecność błędów w dowodzie, a nie ich brak , podobnie, ale nie to samo, co dobrze znany cytat EW Dijkstry na temat testowania oprogramowania .

Książki

Michael W. Shields opublikował wiele książek, w tym:

•   Tarcze, Michael W. (1987). Wprowadzenie do teorii automatów . Publikacje naukowe Blackwell . ISBN 978-0632017560 .
•   Kwiatkowska, Marta Z .; Tarcze, Michael W.; Thomas, Richard M., wyd. (23-25 ​​lipca 1990). Semantyka dla współbieżności: Proceedings of the International BCS-FACS Workshop . Warsztaty z informatyki. Springera . ISBN 978-3540196259 .
•   Tarcze, Michael W. (1997). Semantyka równoległości: nieprzeplatana reprezentacja zachowania . Springera . ISBN 978-3540760597 .

Linki zewnętrzne

• Michael W. Shields na serwerze bibliograficznym DBLP
• Michaela W. Shieldsa indeksowane przez Microsoft Academic
• Strona profilu autora Michaela W Shieldsa w Bibliotece Cyfrowej ACM