My research centers 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, software testing and verification
and reverse engineering.
We have an ongoing collaboration with
Zhejiang University in
Hangzhou, China, where I've taught
Fundamentals of Software Engineering to 2nd year
undergraduates (May-June 2012, May-June 2011) and a graduate-level course
on Program Analysis (March 2007).
Older modules I've taught include:
CS614 Component Based Software Engineering (MSc in SE, 2005),
SE304/CS407 Formal Methods (2000-2004),
SE301/CS310 Compiler Design (2001-2004),
SE209 Virtual Machines (1999),
SE101/CS100 Principles of Computer Programming (1999-2004).
Before this (in DCU) I've given courses on computability,
logic, formal semantics and compiler design
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.