Matthew Hennessy

From Wikipedia, the free encyclopedia

Matthew Hennessy is a British computer scientist who has contributed especially to language semantics.

Hennessy is 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. 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

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

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

This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.

Retrieved from "http://en.wikipedia.org../../../m/a/t/Matthew_Hennessy_8cef.html"

Categories: British computer scientists | British academics | Formal methods people | British scientist stubs | United Kingdom computer specialist stubs

Views

Search