Current funding sources include:
A Logical Framework for Integrating Software Models via Refinement, Government of Ireland Postgraduate Scholarships Scheme, Irish Research Council, 2013-2017.
Consistency of Software Artefacts in a Model Oriented Environment, Research Frontiers Programme, Science Foundation Ireland, 2012-2016.
Zheng Cheng's research is funded by a Doctoral Teaching Scholarship from NUI Maynooth, 2011-2015.
Hao Wu's PhD research was funded by a John & Pat Hume Scholarship from NUI Maynooth, 2009-2013.
The collaboration with the MOSEL Research Group at LORIA is funded in part by a ULYSSES France-Ireland Exchange Programme grant.
Recent funding sources have included:
Definition and evaluation of run-time object-oriented software metrics, Áine Mitchell and J.F. Power, IRCSET/Embark PG Research Scholarship RS-2002-885, 2002-2005.
The application of software engineering techniques to the design of parsers and compiler front ends, Mark Hennessy and J.F. Power, IRCSET Embark PG Research Scholarship RS-2002-935, 2002-2006.
TOOLAP: A Tool for Developing Object-Oriented Software, an Enterprise Ireland Basic Research Grant no. 2003/278 (in collaboration with Dublin City University)
Detection of Storage Allocation Errors in Object-Oriented Programs, Enterprise Ireland International Collaboration Grant no. 2003/112
Principles and Practice of Programming in Java 2003, Science Foundation Ireland Conference and Workshops Grant no. 02/CW/I155
Formal Methods applied to Object-Oriented Languages and Systems, Enterprise Ireland International Collaboration Grant no. 2001/061
A solution to the name lookup problem for C++, Enterprise Ireland International Collaboration Grant no. 1999/046
Implementing Protocol Verification for E-Commerce, Enterprise Ireland Strategic Research Grant, no. 2000/94
Formalised EMFTVM bytecode language for sound verification of model transformations
Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory
Evaluating the Use of a General-Purpose Benchmark Suite for Domain-Specific SMT-solving
A sound execution semantics for ATL via translation validation
Creating Formal Specifications with Analogical Reasoning
An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences