Matthew Hennessy

Professor Matthew Hennessy is a Research Professor in the School of Computer Science and Statistics at Trinity College Dublin.

Matthew’s research interest lies in the application of logic to Computer Science; in particular the development of semantic theories of computation which provide the frameworks for verification technology. His research has been funded by SFI (Ireland), EPSRC (UK), Leverhulme Trust (UK) and numerous EU projects.