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

CNRS Chercheur Associé 2005 (salarié 1st Sept 2005 – 31st August 2006) - with Dominique Méry, MOSEL research group, INRIA/LORIA, Vandœuvre-lès-Nancy, Les méthodes formelles et le problème du transfert de technologie : la nécessité d’une recherche fondamentale dans la pédagogie du génie logiciel (Principle Investigator: J Paul Gibson.)

Enterprise Ireland International Collaboration Research Grant 2005 EI/IC/2005/49 (€4500) - with Rosemary Monahan and Jackie O'Kelly - between Clemson University and NUIM - Problem-Based-Learning (PBL) - from theory to practice (Principle Investigator: J Paul Gibson.)

IRCSET Embark Initiative - postgraduate fellowship, Turlough Neary, J. Paul Gibson. The boundaries of complexity hierarchies: maximising problem solving potential by using different models of computation (57,150 euro), 2004-2007, (Principle Investigator: Turlough Neary).

IRCSET Embark Initiative - postgraduate fellowship, Margaret McGaley, J. Paul Gibson. Electronic voting: An analysis of the safety critical issues (57,150 euro), 2003-2006, (Principle Investigator: Margaret McGaley).

IRCSET Embark Initiative - postgraduate fellowship, Des Traynor, J. Paul Gibson. The synthesis and analysis of student profile models in adaptive learning environments for teaching computer programming. (57,150 euro), 2003-2006, (Principle Investigator: Des Traynor).

IRCSET Embark Initiative - postgraduate fellowship, Ciaran O'Floinn, J. Paul Gibson. Formalisation of Cryptographic Metrics and its application to emerging techniques. (57,150 euro), 2003-2006, (Principle Investigator: Ciaran O'Floinn).

IRCSET Embark Initiative - postgraduate fellowship, Aidan Delaney, J. Paul Gibson, Thomas J. Naughton, Specification of an abstract operating system running on a single stack push down automaton (57,150 euro), 2002-2005, (Principle Investigator: Aidan Delaney).

IRCSET Embark Initiative - postgraduate fellowship, Damien Woods, J. Paul Gibson, Computational Models and the Turing Limit: An Investigation of the Boundary Between Discrete and Continuous Systems (38,100 euro), 2002-2004, (Principle Investigator: Damien Woods).

NUI, Maynooth New Researcher Award 2001 (£4,000) - for supporting the costs incurred by my PhD students when attending conferences and workshops, and visiting overseas research laboratories. (Principle Investigator: Paul Gibson.)

Enterprise Ireland International Collaboration Research Grant 2001 IC/2201/061 (£6,000) - with Rosemary Monahan and James Power - for the establishment of a formal methods alliance between Clemson University and NUIM. (Principle Investigator: James Power.)

Universite de Metz, Visiting Fellowship 2000 (£2,000) - for collaboration with Dominique Cansell in the application of theorem proving techniques in real world software engineering. (Principle Investigator: Paul Gibson.)

Enterprise Ireland Strategic Research Grant 2000-2003 SRG/2000/94 (£70,500) - NUIM-DCU formal methods group collaboration on the IMPROVE (IMplementing PROtocol Verification for E-commerce) project - concerned with security protocol specification and verification (working with Baltimore Technologies Ltd). (Principal Investigator: David Gray.)

Enterprise Ireland French Collaboration Grant 2000 (£1,200) - with Geoff Hamilton (DCU) - to investigate the formal specification of telephone systems, in collaboration with the Model Group at Loria in Nancy, France. (Principle Investigator: Geoff Hamilton.)

Enterprise Ireland French Collaboration Grant 1999 (£1,200) - with Geoff Hamilton (DCU) - to investigate the formal specification of telephone systems, in collaboration with the Model Group at Loria in Nancy, France. (Principle Investigator: Paul Gibson.)

Enterprise Ireland French Collaboration Grant 1998 (£1,000) - with Geoff Hamilton (DCU) - to investigate the formal specification of telephone systems, in collaboration with the Model Group at Loria in Nancy, France. (Principle Investigator: Geoff Hamilton.)