Matthew Hennessy es un informático irlandés que ha contribuido especialmente a la concurrencia , el cálculo de procesos y la semántica del lenguaje de programación .
Carrera profesional
Durante 1976–77, Matthew Hennessy fue profesor asistente en la Universidad de Waterloo en Canadá . [1] Luego, durante 1977-78, fue profesor invitado en la Universidade Federal de Pernambuco en Brasil . Posteriormente, fue investigador asociado (1979-1981) y luego profesor (1981-1985) en la Universidad de Edimburgo en Escocia . Durante 1985, fue profesor / investigador invitado en la Universidad de Aarhus en Dinamarca .
Hennessy fue profesor de Ciencias de la Computación en el Departamento de Informática de la Universidad de Sussex , Inglaterra , desde 1985 hasta 2008. [2] Desde entonces, Hennessy ha ocupado una cátedra de investigación en el Departamento de Ciencias de la Computación , Trinity College, Dublín .
Los intereses de investigación de Hennessy se encuentran en el área de los fundamentos semánticos de los lenguajes de programación y especificación , en particular la informática distribuida , incluida la informática móvil . [3] También le interesan las herramientas de verificación . Sus coautores incluyen a Robin Milner y Gordon Plotkin .
Hennessy es miembro de la Academia de Europa . [1] Obtuvo una beca de investigación senior de la Royal Society / Leverhulme Trust durante 2005-06 y tiene una cátedra de investigación de la Science Foundation Ireland en el Trinity College Dublin.
Libros
Matthew Hennessy ha escrito varios libros:
- Hennessy, Matthew. Un Pi-Cálculo distribuido . Cambridge University Press , Cambridge, Reino Unido, 2007. ISBN 0-521-87330-4 .
- Hennessy, Matthew. Teoría Algebraica de Procesos . The MIT Press , Cambridge, Massachusetts, 1988. ISBN 0-262-58093-4 . [4]
- Hennessy, Matthew. La semántica de los lenguajes de programación: una introducción elemental utilizando la semántica operacional estructural . John Wiley and Sons , Nueva York, 1990. ISBN 0-471-92772-4 .
Ver también
Referencias
- ^ a b "Matthew Hennessy" . Academia de Europa . Consultado el 17 de noviembre de 2014 .
- ^ "Matthew Hennessy" . Archive.org . Reino Unido: Universidad de Sussex . 3 de diciembre de 2008. Archivado desde el original el 3 de diciembre de 2008 . Consultado el 17 de noviembre de 2014 .
- ^ Matthew Hennessy en elservidor de bibliografía DBLP.
- ^ Gunter, Carl A. (marzo de 1990). "Trabajo revisado: teoría algebraica de procesos de Matthew Hennessy". Revista de lógica simbólica . 55 (1): 366–368. doi : 10.2307 / 2275000 . JSTOR 2275000 .
enlaces externos
- Página de inicio de Matthew Hennessy Trinity College Dublin
- Publicaciones de Matthew Hennessy indexadas por Google Scholar