The Full Wiki

More info on Matthew Hennessy

Matthew Hennessy: Map

Advertisements
  

Wikipedia article:

Map showing all locations mentioned on Wikipedia article:



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

Since the beginning of 2008, Hennessy holds a professorship at the Department of Computer Science, Trinity College, Dublinmarker. Before this appointment, Hennessy was Professor of Computer Science at the Department of Informatics, University of Sussexmarker, Englandmarker. 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.

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




Embed code:
Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message