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]]