Introduction

The Principles of Programming research group at NUI Maynooth specialises in the static and dynamic analysis of object-oriented programs and programming languages. We exploit a variety of techniques, such as parsing, bytecode analysis, software metrics, meta-modelling and program verification to model software systems in order to increase comprehensibility and reliability. Our work has applications in reverse engineering, program verification and validated forward engineering from design to code.

The group's interests extend from software engineering tools and techniques, right through programming language design, down to the implementation of compilers and programming language processors. We have a strong interest in the formal underpinnings of software technology, and much of our work has links with formal methods in program design and analysis.

Some of our recent publications are posted in the sidebar on the right. More details on our publications can be found on James' publication page or on Rosemary's home page.

Rosemary presented some slides on our work at a meeting during FM Week, November 2009.

Hao Wu has just started as a PhD student with the group, working with the specification and testing of programming language metamodels. He's shown here receiving the 2009 Intel Medal for Best Final Year Computer Science student from the President of NUIM.