Michael W. Shields

Michael ( "Mike" ) William Shields (20 de enero de 1950 - 24 de septiembre de 2023) fue un científico informático británico .

Mike Shields realizó investigaciones sobre sistemas concurrentes con Peter E. Lauer en la Universidad de Newcastle upon Tyne a finales de la década de 1970. Durante la mayor parte de su carrera, Shields fue profesor en el Departamento de Informática de la Universidad de Surrey en Guildford , al sur de Inglaterra . ^{[ 1 ]} Se incorporó en 1980 y se jubiló en 2006 como catedrático . Sus contribuciones a la investigación se centraron en la informática teórica , especialmente en lo referente a la concurrencia . En particular, escribió libros sobre teoría de autómatas ^{[ 2 ]} y la semántica de la computación paralela . ^{[ 3 ]}

En 2006 se celebró una reunión en las oficinas de la British Computer Society en Londres para homenajear la contribución de Shields a la informática (su " trabajo fundamental, innovador y elegante sobre modelos de concurrencia ") con motivo de su jubilación. ^{[ 4 ]} Posteriormente se trasladó a Malta tras su jubilación. ^{[ 5 ]}

FX Reid ^{[ 6 ]} ( también conocido como FXR ) era un seudónimo que Shields a veces usaba en sus escritos más humorísticos e incluso en su obra seria. ^{[ 7 ] [ 8 ]}

Reid fue colaborador habitual del boletín informativo FACS FACTS del Grupo de Especialistas en FACS de la British Computer Society . Por ejemplo, era un entusiasta de la instrucción COMEFROM y un experto en su semántica. ^{[ 9 ]} Al parecer, los informes sobre la muerte de FXR en 2006 ^{[ 10 ]} eran falsos, y sus reflexiones continuaron publicándose en el boletín posteriormente.

La obra más conocida de FX Reid es " The Song of Hakawatha " ^{[ 11 ] [ 12 ],} una parodia del poema de Henry Wadsworth Longfellow , "The Song of Hiawatha", que contiene referencias a la piratería informática , Unix y compiladores . FX Reid también ha sido mencionado en libros de informática. ^{[ 2 ] [ 3 ] [ 13 ]}

Se ha citado a Reid diciendo que en la demostración de programas , solo se puede determinar la presencia de errores en la prueba, no su ausencia , ^{[ 14 ]} similar pero no igual a una cita bien conocida de EW Dijkstra sobre las pruebas de software .

Michael W. Shields publicó varios libros, entre ellos:

• Shields, Michael W. (1987). Introducción a la teoría de autómatas . Blackwell Scientific Publications . ISBN 978-0632017560.
• Kwiatkowska, Marta Z.; Shields, Michael W.; Thomas, Richard M., eds. (23–25 de julio de 1990). Semántica para la concurrencia: Actas del Taller Internacional BCS-FACS . Talleres en Computación. Springer . ISBN 978-3540196259.
• Shields, Michael W. (1997). Semántica del paralelismo: representación no entrelazada del comportamiento . Springer . ISBN 978-3540760597.

• Michael W. Shields en el servidor de bibliografía DBLP
• Página de perfil del autor Michael W Shields en la Biblioteca Digital de la ACM.