- Matthew Hennessy
-
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency (computer science), process calculi and programming language semantics.
Hennessy was Professor of Computer Science at the Department of Informatics, University of Sussex, England, until 2008.[1] Since then, Hennessy has held a 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.[2] He also has an interest in verification tools.
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.
- 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.
References
- ^ Matthew Hennessy home page, University of Sussex, UK.
- ^ Matthew Hennessy bibliography in the DBLP database
External links
Categories:- Irish computer scientists
- Formal methods people
- Computer science writers
- Academics of the University of Sussex
- Fellows of Trinity College, Dublin
- Living people
- Irish scientist stubs
- Computer specialist stubs
Wikimedia Foundation. 2010.