Matthew Hennessy

Matthew Hennessy är en irländsk datavetare som har bidragit särskilt till samtidighet , processkalkyler och programmeringsspråkssemantik .

Karriär

Under 1976–77 var Matthew Hennessy biträdande professor vid University of Waterloo i Kanada . Sedan under 1977–78 var han gästprofessor vid Universidade Federal de Pernambuco i Brasilien . Därefter var han forskarassistent (1979–81) och sedan föreläsare (1981–85) vid University of Edinburgh i Skottland . Under 1985 var han gästföreläsare/forskare vid Aarhus Universitet i Danmark .

Hennessy var professor i datavetenskap vid Institutionen för informatik, University of Sussex , England , från 1985 till 2008. Sedan dess har Hennessy haft en forskningsprofessur vid Institutionen för datavetenskap , Trinity College, Dublin .

Hennessys forskningsintressen ligger inom området för de semantiska grunderna för programmerings- och specifikationsspråk , särskilt när det gäller distribuerad datoranvändning, inklusive mobil datoranvändning . Han har också ett intresse för verifieringsverktyg . Hans medförfattare inkluderar Robin Milner och Gordon Plotkin .

Hennessy är medlem i Europaakademin . Han hade ett Royal Society / Leverhulme Trust Senior Research Fellowship under 2005–06 och har en Science Foundation Ireland Research Professorship vid Trinity College Dublin.

Böcker

Matthew Hennessy har skrivit ett antal böcker:

•   Hennessy, Matthew. En distribuerad Pi-kalkyl . Cambridge University Press , Cambridge, Storbritannien, 2007. ISBN 0-521-87330-4 .
•   Hennessy, Matthew. Algebraisk processteori . The MIT Press , Cambridge, Massachusetts, 1988. ISBN 0-262-58093-4 .
•   Hennessy, Matthew. Programmeringsspråkens semantik: en grundläggande introduktion med hjälp av strukturell operativ semantik . John Wiley and Sons , New York, 1990. ISBN 0-471-92772-4 .

Se även

• Hennessy–Milners logik
• Ó hAonghusa

externa länkar

• Matthew Hennessy Trinity College Dublins hemsida
• Matthew Hennessy -publikationer indexerade av Google Scholar