Matthew Hennessy

From Wikipedia, the free encyclopedia

This article may not meet the general notability guideline. Please help to establish notability by adding reliable, secondary sources about the topic. If notability cannot be established, the article is likely to be merged or deleted. (March 2009)

This article needs additional citations for verification. Please help improve this article by adding reliable references. Unsourced material may be challenged and removed. (March 2009)

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 and specification languages, particularly involving distributed computing, including mobile computing. He also has an interest in verification tools.

[edit] 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.

[edit] External links

• Matthew Hennessy home page
• Official web page
• Matthew Hennessy bibliography in the DBLP database