Faculty

• James Power works with compiler technology for object-oriented languages, with an emphasis on program comprehension and dynamic analysis.

• Rosemary Monahan is interested in the study of existing object-oriented specifications, object oriented programming languages and object encodings, with particular emphasis on type theory.

• Kevin Casey works in Griffith College Dublin in the area of virtual machines, particularly optimised interpreters for the Java Virtual Machine.

Current PhD Students

• Jonathan Lambert works on the dynamic analysis of Java programs, with a focus on run-time behavioural modelling.

• Jacqueline McQuillan is investigating quantitative aspects of UML-based approaches to software testing.

Current MSc Students

• Xing Fang, Auto-generation of test cases for a GUI application, MSc. in Computer Science, 2009.

• Venkata Jampana, Developing a bytecode profiler for Ericsson, MSc. in Computer Science, 2009.

• Damien Moore, Implementing an Enterprise Architecture at ICON Clinical Research - A Case Study, MSc. in Computer Science, 2009.

• Zou Weili, Verifying Estelle Simulations of E-voting Cryptographic Protocols , MSc. in Computer Science, 2009.

• Edward Whelehan, Developing a Sort Allocation Tool based on an Optimisation Model, MSc. in Computer Science, 2009.

Graduates

• Steven Kearney analysed a range of different reverse-engineering tools that extract class diagrams from Java source code, and used software metrics to compare them. He graduated with an MSc. in Computer Science in September 2007.

• Benchmarking the accuracy of reverse engineering tools for Java programs: a study of eleven UML tools, Steven Kearney, Technical Report NUIM-CS-TR-2007-01, Dept. of Computer Science, NUI Maynooth, June 2007.

• Mark Hennessy worked in programming language technology, with particular emphasis on GLR parsing and source code analysis and representation through XML. Mark graduated with a PhD in September 2007.

• A test-driven development strategy for the construction of grammar-based software, Mark Hennessy, PhD. Thesis, Dept. of Computer Science, NUI Maynooth, October, 2006.

• Áine Mitchell worked on the definition and evaluation of run-time object-oriented software metrics, particularly coupling and cohesion. She graduated with a PhD. in September, 2006.

  • An Empirical Study of Run-Time Coupling and Cohesion Software Metrics, Áine Mitchell, PhD. Thesis, Dept. of Computer Science, NUI Maynooth, October, 2005.

• Gareth Carter investigated tool support for Object Oriented software development, including Perfect Developer, JML and ESC/Java. Gareth graduated with an MSc. in November 2005.

  • Support tools for Object Oriented Software, Gareth Carter, MSc. Thesis, Dept. of Computer Science, NUI Maynooth, July 2005.