Phone: +353 1 708 3447
Fax: +353 1 708 3848
Office: Room 124, Eolas Building
My research centres on parsers and (front-end) compiler technology for
object-oriented languages as part of the
of Programming research group here. Primary areas of application
include program analysis and transformation
and software testing and verification.
See: my publication list or
entries in DBLP,
ACM Author Profile,
I'm on sabbatical for the 2018-19 academic year.
BSc. (Computer Science), University College Dublin, 1990.
- MSc., Linking Programs and Specifications in Z,
Dublin City University, 1991.
- PhD., Institutional Approaches to Programming Language
Specification, Dublin City University, 1995.
- Diploma in Classical Studies, Open University, 2009.
- Postgraduate Diploma in Teaching and Learning for Higher
Education, NUI Maynooth, 2010.