DESEM Erasmus Mundus Consortium Director 2012-2018
Academic Member of the Senate of the
National
Membership of NUI Maynooth Committees
Member of the Program Committee/ Reviewer for
Principal Organiser for:
Member of the Organising Committee for
External Examiner for
Other Activities
CS101 Introduction to Programming - see https://firstyears.cs.may.ie/
CS603 Rigorous Software Process – see MSc Lab J drive
CS613 Object-Oriented Programming and C++
Se202 Algorithms and Data Structures
SE119 Discrete Structures
SE304/CS407 Formal Methods (Z Specification & Program Verification)
Supervisor of other MSc Theses and fourth year B Sc projects such as:
Verifying Estelle Simulations of
E-voting Cryptographic Protocols, Zou Weili, MSc in Computer Science, 2009, Collaborating with TELECOM & Management SudParis
Developing a Sort Allocation Tool based on an Optimisation Model, Edward Whelehan,
MSc in Computer Science, 2009, Collaborating with Intel
Safety
Critical Transport Software, Hugh Maher, B Sc (Computer Science and Software
Engineering) 2009, Collaborating
with LORIA and TramPower
Gareth Carter’s MSc on Support tools for Object Oriented Software Development and project details are available at www.cs.nuim.ie/toolap/pd . Examples include Perfect Developer and ESC Java.
A sample of other MSc theses and 4th year projects that I have supervised are:.