Research-Supervision for Dr J. Paul Gibson, LOgiciels-Réseaux (LOR), IT SudParis, France.

Quick Links (This Page):

PhD Students

Woods, Damien, Computational Complexity of an optical model of computation (pdf). Submitted November 2004, accepted August 2005. Examiners: Prof. Cris Moore and Prof. Barak Pearlmutter.

Neary, Turlough (supervised jointly with Woods, Damien, UCC, Ireland), Small Universal Turing Machines(pdf). Submitted September 2007, accepted November 2007. Examiners: Prof. Maurice Margenstern and Dr. James Power.

McGaley, Margaret, Evoting: an immature technology in a critical context(pdf). Submitted: October 2007, accepted: September 2008. Examiners: Prof. Ann Macintosh and Dr. Tom Dowling.

MSc Students

Walsh, Eamonn, A secure electronic voting system for academic council elections, awarded October 2006, Masters of Science in Computer Science (partial fulfilment), Institute of Technology, Sligo.

Kirk, Mark, A Client Simulator - And Benchmark Suite - To Test Performance of Multithreaded Architectures in Web Services, awarded in 2004, Masters of Computer Science (partial fulfilment), NUIM.

Phelan, Pat, Rapid prototyping an educational online game: experimenting with sorting, awarded in 2004, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Hallinan, Stephen, An Examination of the Use of UML in a Spiral Process with Evolving Requirements and the Subsequent Evaluation of the Design Quality, awarded in 2004, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Laird, Gary, Globalisation, Localisation and Testing of Visual Studio.NET, awarded in 2004, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Galvin, Valerie, Evolutionary Prototyping and its application in real-world case study, awarded in 2004, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Shanley, Ray, Design By Contract In Java, awarded in 2003, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Weir, David, Simulation and Modelling of Traffic Control Flow, awarded in 2003, Masters of Computer Science (partial fulfilment), NUIM.

Feraille, Matthieu, Software Engineering Practices At DATACEP (ALTRAN), awarded in 2002, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Honan, Dermot, Peer to Peer Computing: An evaluation of the benefits when applied to Content Distribution, awarded in 2002, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Perez, Fran, The Sequence Pattern, awarded in 2002, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Touzery, Emmanuel, PCSOFT: managing success, awarded in 2002, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Zou, Jianming, Improving the Software Development Process at Ericsson, awarded in 2002, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Meagher, Anne, Automated Student Profiling: A Software Engineering Study of Automated Student Profiling for Teaching Programming, awarded in 2001, Masters of Science in Software Engineering (partial fulfilment), NUIM.

Leacy, Helen, Animating formal specifications: a JAVA GUI, awarded in 1999, Masters of Computer Science (partial fulfilment), NUIM.

French DEA Students (On Exchange)

Raphael Flamant, Universite Nancy I, Advanced Molecular Modelling, accepted: 2000.

Francois Bellet, Universite Nancy I, Implementation and Testing of Firewall Systems, accepted: 2000.

Final Year Students NUI Maynooth(BSc CS/CSSE)

Shanley, Gavan, A web service for teaching memory tricks and techniques, accepted: 2005.

Nic Amhalai, Sorcha, An educational maths game, accepted: 2005.

McDonnell, David, A Sprite Package for Games Programming in Java, accepted: 2005.

Deasy, Ger, (supervised jointly with Des Traynor), The development of a teaching tool for debugging and seeing programs in execution, accepted: 2005.

Moran, Conor, (supervised jointly with Aidan Delaney), Primary school software development , accepted: 2004.

Foley, Peter, On-line library ordering tool, accepted: 2003.

McGaley, Margaret, The formal development of a generic e-voting system, accepted: 2003.

McNally, David, (supervised jointly with Jacqueline McQuillan), An educational add-on to 2-player games - a draughts/checkers case study, accepted: 2003.

Neary, Turlough, (supervised jointly with Damien Woods), Turing machine and Baker's map simulator in Java, accepted: 2003.

Mulkerrins, Steven, An on-line component database for software engineering, accepted: 2002.

Nangle, Mary, Algorithms for Understanding Algorithms - an interactive tool for analysis of the way in which children learn algorithmic concepts, accepted: 2002.

Buschotts, Bart, (supervised jointly with Stephanie Dunne) Tool For Generating Fractal Images of Recursive Functions, accepted: 2001.

Gillick, Pamela, Maths games for learning, accepted: 2000.

Leahey, Colm, Integer Sequence Intelligence Tester, accepted: 2000.

McQuillan, Jacqueline and O'Rafferty, Sandra, The 15-puzzle, accepted: 2000.

Donnelly, Mary, Programming Paradigms for Implementing and Teaching Graph Algorithms, accepted: 1999.

McGlynn, Fergal, Telephone Service Animation: the JAVA semantic engine, accepted: 1999.

Morrissey, Lisa, Graph Algorithms, a teaching assistant (on-line), accepted: 1999.

Quirke, Eileen, Chemical Cartoons, accepted: 1999.