Mike Shields ha sido académico en el Departamento de Computación de la Universidad de Surrey en Guildford , en el sur de Inglaterra . [1] Sus contribuciones a la investigación han sido en la informática teórica , especialmente en lo que respecta a la concurrencia . En particular, ha escrito libros sobre la teoría de los 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 celebrar la contribución de Shields a la informática (su " innovador y elegante trabajo fundacional sobre modelos de concurrencia ") en su jubilación. [4] Desde entonces se mudó a Malta . [5]
FX Reid [6] (también conocido como FXR ) es un seudónimo que Shields ha utilizado a veces en sus escritos más divertidos e incluso en su trabajo serio. [7] [8]
Reid ha sido colaborador desde hace mucho tiempo a la British Computer Society 's FACS Grupo de Especialistas en FACS HECHOS boletín en el pasado. Por ejemplo, ha sido un entusiasta de la declaración COMEFROM y un experto en su semántica. [9] Aparentemente, los informes de la muerte de FXR en 2006 [10] eran falsos, y sus reflexiones continuaron después de este momento en el boletín.
El trabajo más conocido de FX Reid es " La canción de Hakawatha ," [11] [12] una parodia de Henry Wadsworth Longfellow poema 's la canción de Hiawatha que contiene referencias a la piratería , Unix y compiladores . FX Reid también se ha mencionado en libros de informática. [2] [3] [13]
Se ha citado a Reid diciendo En la prueba de programas , solo se puede determinar la presencia de errores en la prueba de uno, no su ausencia , [14] similar pero no igual a una cita bien conocida de EW Dijkstra sobre pruebas de software .