Dublin University Crest Computer Science Department, Trinity College Trinity College Crest

Matthew Hennessy


I'm a Research Professor in the Computer Science Department at Trinity College Dublin.


My general area of research is the Foundations of Computation. I am specifically interested in the semantics of concurrent and distributed computation, and am currently seeking to provide a sound logical semantics for mobile systems. Associated with these semantic theories come specification techniques and verification technologies for assuring the behaviour of systems.
In am also interested in the design and implementaion of high-level programming languages for specifying, programming and verifying concurrent activities.

Publications

Current research vacancies

Teaching


e-mail: matthew dot hennessy at cs dot tcd dot ie

[Personnel] [Update your entry] [Computer Science] [Trinity College Dublin]
URL: https://www.cs.tcd.ie/Matthew.Hennessy/

WebAdmin at cs.tcd.ie
Last modified: Mon Feb 21 17:23:08 GMT 2011