Jump to content

Matthew Hennessy

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by PearBOT II (talk | contribs) at 18:55, 6 April 2021 (Adding automatically generated short description. For more information see Wikipedia:Bots/Requests for approval/PearBOT 5 Feedback appreciated at User talk:Trialpears). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.

Career

During 1976–77, Matthew Hennessy was an assistant professor at the University of Waterloo in Canada.[1] 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.[2] 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 and specification languages, particularly involving distributed computing, including mobile computing.[3] He also has an interest in verification tools. His co-authors include Robin Milner and Gordon Plotkin.

Hennessy is a member of the Academy of Europe.[1] 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.[4]
  • 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

References

  1. ^ a b "Matthew Hennessy". Academy of Europe. Retrieved 17 November 2014.
  2. ^ "Matthew Hennessy". Archive.org. UK: University of Sussex. 3 December 2008. Archived from the original on 3 December 2008. Retrieved 17 November 2014.
  3. ^ Matthew Hennessy at DBLP Bibliography Server Edit this at Wikidata.
  4. ^ Gunter, Carl A. (March 1990). "Reviewed Work: Algebraic Theory of Processes by Matthew Hennessy". Journal of Symbolic Logic. 55 (1): 366–368. doi:10.2307/2275000. JSTOR 2275000.


Flag of Republic of IrelandScientist icon Stub icon

This article about an Irish scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Matthew_Hennessy&oldid=1016356774"