View source for Matthew Hennessy

{{short description|Irish computer scientist}}
{{Use dmy dates|date=March 2025}}
{{Use Hiberno-English|date=October 2017}}
'''Matthew Hennessy''' is an Irish [[computer scientist]] who has contributed especially to [[Concurrency (computer science)|concurrency]], [[process calculi]] and [[programming language semantics]].

==Career==
During 1976–77, Matthew Hennessy was an assistant professor at the [[University of Waterloo]] in Canada.<ref name="aoe">{{cite web| url=http://www.ae-info.org/ae/User/Hennessy_Matthew | title=Matthew Hennessy | publisher=[[Academy of Europe]] | accessdate=17 November 2014 }}</ref> Then during 1977–78, he was a visiting professor at the [[Universidade Federal de Pernambuco]] in Brazil. Subsequently, he was a research associate (1979–81) and then lecturer (1981–85) at the [[University of Edinburgh]] in Scotland. During 1985, he was a guest lecturer/researcher at the [[University of Aarhus]] in Denmark.

Hennessy was Professor of [[Computer Science]] at the Department of Informatics, [[University of Sussex]], England, from 1985 until 2008.<ref>{{cite web|url=//www.informatics.sussex.ac.uk/users/matthewh/ |title=Matthew Hennessy |via=Internet Archive |publisher=[[University of Sussex]] |location=UK |date=3 December 2008 |accessdate=17 November 2014 |url-status=dead |archiveurl=https://web.archive.org/web/20081203181349/http://www.informatics.sussex.ac.uk/users/matthewh/ |archivedate=3 December 2008 }}</ref> Since then, Hennessy has held a research professorship at the Department of [[Computer Science]], [[Trinity College, Dublin]].

Hennessy's research interests are in the area of the semantic foundations of [[programming language|programming]] and [[specification language]]s, particularly involving [[distributed computing]], including [[mobile computing]].<ref>{{DBLP|name=Matthew Hennessy}}.</ref> He also has an interest in [[Verification and Validation (software)|verification]] tools. His co-authors include [[Robin Milner]] and [[Gordon Plotkin]].

Hennessy is a member of the [[Academy of Europe]].<ref name="aoe" /> He held a [[Royal Society]]/[[Leverhulme Trust]] Senior Research Fellowship during 2005–06 and has a
[[Science Foundation Ireland]] Research Professorship at Trinity College Dublin.

==Books==
Matthew Hennessy has written a number of books:

* Hennessy, Matthew. ''A Distributed Pi-Calculus''. [[Cambridge University Press]], Cambridge, UK, 2007. {{ISBN|0-521-87330-4}}.
* Hennessy, Matthew. ''Algebraic Theory of Processes''. [[The MIT Press]], Cambridge, Massachusetts, 1988. {{ISBN|0-262-58093-4}}.<ref>{{cite journal|author=Gunter, Carl A.|title=Reviewed Work: ''Algebraic Theory of Processes'' by Matthew Hennessy|journal=Journal of Symbolic Logic|date=March 1990|volume=55|issue=1|pages=366–368|jstor=2275000|doi=10.2307/2275000|s2cid=117105841 }}</ref>
* Hennessy, Matthew. ''The Semantics of Programming Languages: An Elementary Introduction using Structural Operational Semantics''. [[John Wiley and Sons]], New York, 1990. {{ISBN|0-471-92772-4}}.

==See also==
* [[Hennessy–Milner logic]]
* [[Ó hAonghusa]]

==References==
{{Reflist}}

==External links==
* [https://www.cs.tcd.ie/Matthew.Hennessy/ Matthew Hennessy Trinity College Dublin home page]
* {{GoogleScholar|id=wIto1LUAAAAJ}}

{{Authority control}}

{{DEFAULTSORT:Hennessy, Matthew}}
[[Category:Year of birth missing (living people)]]
[[Category:Living people]]
[[Category:20th-century Irish people]]
[[Category:21st-century Irish people]]
[[Category:Irish computer scientists]]
[[Category:Formal methods people]]
[[Category:Computer science writers]]
[[Category:Academic staff of the University of Waterloo]]
[[Category:Academics of the University of Edinburgh]]
[[Category:Academics of the University of Sussex]]
[[Category:Fellows of Trinity College Dublin]]


{{Ireland-scientist-stub}}
{{Compu-bio-stub}}