Martin Henson (científico informático)

Martin C. Henson (nacido el 14 de octubre de 1954 en Reading ) es un científico informático inglés que trabaja en la Universidad de Essex . ^{[ 1 ]} Es decano de asuntos internacionales y está afiliado a la Facultad de Informática e Ingeniería Electrónica. ^{[ 2 ] [ 3 ]} Henson fue jefe del departamento de informática desde 2000 hasta 2006.

Martin Henson se formó en The Bulmershe School en Woodley, Berkshire , en la Universidad de Southampton (BSc, 1976), en la Universidad de Reading ( PGCE , 1977) y en la Universidad de Essex (MSc, 1981).

El trabajo académico de Henson se centra en el área de métodos formales para la ingeniería de software . Sus primeros trabajos se centraron en la semántica de los lenguajes de programación, especialmente en el uso de enfoques algebraicos para estructurar la generación de compiladores e intérpretes a partir de descripciones semánticas. Posteriormente, trabajó en lenguajes funcionales, centrándose en la verificación y transformación de programas, siendo pionero en un enfoque para la transformación de programas, adaptado del trabajo en equivalencias semánticas, utilizando generalizaciones de orden superior y restricciones relacionales. Desde finales de la década de 1990, ha llevado a cabo investigaciones sobre el diseño y el uso de la lógica en la especificación y el desarrollo de programas. Junto con Steve Reeves , ha estudiado en detalle la semántica formal de la notación Z. Este trabajo se utilizó en el estándar internacional ISO para la notación Z. ^{[ 4 ]} Más recientemente, ha propuesto un nuevo enfoque para la especificación, basado en teorías de especificación, desarrollando la lógica de especificación nuZ, un lenguaje de especificación similar a Z con un cálculo de esquema monótono. Esto se presentó por primera vez en una charla en la serie de seminarios BCS-FACS en la British Computer Society en Londres en 2005. ^{[ 5 ] [ 6 ]}

Henson es miembro de la British Computer Society desde 2009 ^{[ 7 ]} y es profesor visitante en la Universidad de Waikato en Nueva Zelanda. ^{[ 8 ]}

Henson tenía un blog sobre sus actividades como decano en la Universidad de Essex. ^{[ 9 ]} Ha trabajado internacionalmente en acreditación académica , licenciamiento institucional y planificación estratégica , con especial atención a Oriente Medio y, en particular, para la Comisión de Acreditación Académica de los Emiratos Árabes Unidos . ^{[ 10 ]} Es revisor externo de la Autoridad de Acreditación Académica de Omán ^{[ 10 ]} en Mascate, Omán , y es miembro de la Royal Society of Arts desde 2010.

El profesor Henson ha impartido conferencias magistrales sobre el desarrollo de planes de estudio basados ​​en resultados ^{[ 11 ]} en Arabia Saudita , sobre la planificación estratégica de la investigación institucional ^{[ 12 ]} en Indonesia y sobre la internacionalización de la educación superior ^{[ 13 ]} en China. Entre sus otros servicios de consultoría internacional se incluyen Jordania , Kuwait , las Indias Occidentales y Suecia .

• Martin C. Henson y Steve Reeves , Revisando Z: Parte I – Lógica y semántica. Aspectos formales de la computación , 11(4):359–380, 1999.
• Martin C. Henson y Steve Reeves. Revisando Z: Parte II – Desarrollo lógico. Aspectos formales de la computación , 11(4):381–401, 1999.
• Martin C. Henson, Steve Reeves y Jonathan P. Bowen , Z Logic and its Consequences. CAI: Computing and Informatics , 22(4):381–415, 2003. En Dines Bjørner (editor), número especial sobre The Logics of Formal Specification Languages .
• Martin C. Henson, Besnik Kajtazi y Moshe Deutsch, La lógica de especificación nuZ, Aspectos formales de la computación , número especial sobre refinamiento , 18(3):364–395, 2007.
• Martin C. Henson, Moshe Deutsch y Steve Reeves, Lógica Z y sus aplicaciones. En Martin C. Henson y Dines Bjørner (editores), Lógicas de los lenguajes de especificación, Monografías de EATCS en informática teórica, 489–596, Springer, 2008.
• Martin C. Henson, Aplicaciones y metodología de nuZ. En Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi (editores), Métodos formales: estado del arte y nuevas direcciones, 117–146, Springer, 2010.

• Martin C. Henson, Elementos de lenguajes funcionales, Blackwell Scientific Publications, 1987.
• Bert, D., Bowen, JP, Henson, MC, Robinson, K. (editores), ZB 2002: Especificación formal y desarrollo en Z y B, 2.ª Conferencia Internacional de Usuarios de B y Z, Lecture Notes in Computer Science, vol. 2272, 2002. ^{[ 14 ]}
• Treharne, H.; King, S.; Henson, M.; Schneider, S. (editores), ZB 2005: Especificación formal y desarrollo en Z y B, 4.ª Conferencia Internacional de Usuarios de B y Z, Lecture Notes in Computer Science, vol. 3455, 2005. ^{[ 15 ]}
• Martin C. Henson y Dines Bjørner (editores), Lógicas de los lenguajes de especificación, Monografías de EATCS en informática teórica, Springer, 2008.

• Perfil de la Universidad de Essex
• Martin Henson en LinkedIn
• Martin C. Henson en el servidor de bibliografía DBLP