External Assignment

Member of the Senate of the National University of Ireland 2007-2012 (Elected by the Governing Authority, NUI Maynooth)

Committee Member and Adjudicator, ICS Robocode Ireland Challenge, Tipperary Institute (2006- to date)

Member of the Program Committee and Reviewer for Formal Techniques for Java-like Programs (FTfJP) 2009

Reviewer for Verification, Model Checking, and Abstract Interpretation (VMCAI) 2009

External Examiner, BA Mathematics modules, Dublin Business School (2006-2009)

External Examiner, MSc in Computing Science, Griffith College Dublin (2005-2008)

Reviewer for Principles and Practice of Programming in Java (PPPJ) 2008

Grand Challenge Maths Initiative demonstration lecture and school liaison, Coláiste Bride, Dublin (2005)

Coordinator, European MSc in Software Engineering Proposal (Erasmus Mundus EAC/70/05, 2006)

Independent Reviewer of the TYPES project (Coordination Action FP6 2002 IST-C)

Local Organisation Committee Member, Principles and Practice of Programming in Java (PPPJ) (2003)

Software Engineering Session Chair and Reviewer for the ACM Symposium on Applied Computing (SAC) 2002

Member of the Program Committee and Reviewer for Principles and Practice of Programming in Java (PPPJ) 2002

Local Organisation Committee Member, Irish Workshop in Formal Methods 1997, 2002