Matthew Hennessy
3818648
199808462
2008-03-21T11:48:54Z
87.198.170.2
'''Matthew Hennessy''' is an Irish [[computer scientist]] who has contributed especially to [[concurrency (computer science)]], [[process calculi]] and programming language [[semantics]].
Since the beginning of 2008, Hennessy holds a professorship at the Department of [[Computer Science]], [[Trinity College, Dublin]]. Before this appointment, Hennessy was Professor of [[Computer Science]] at the Department of Informatics, [[University of Sussex]], [[England]]. His 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]]. He also has an interest in [[verification]] tools.
== 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.
* 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.
==External links==
* [http://www.informatics.sussex.ac.uk/users/matthewh/ Matthew Hennessy home page]
* [http://www.sussex.ac.uk/informatics/profile1215.html Official web page]
* {{dblp name| id=h/Hennessy:Matthew | name=Matthew Hennessy}}
{{DEFAULTSORT:Hennessy, Matthew}}
[[Category:Irish computer scientists]]
[[Category:Irish academics]]
[[Category:Formal methods people]]