I am a full time academic in the Department of Computer Science, NUI Maynooth since October 1999. I have been lecturing in Computer Science since 1997 in University College Dublin, Griffith College Dublin and NUI Maynooth. I have also being a visiting lecturer at Universite de Lorraine in France and Zhejiang University in China.
Subjects which I have lectured include Software Verification, Rigorous Software development, Type Theory, Models of Computation, Object Oriented Programming (C++, Java, C#), Object Oriented Design, Algorithms and Data Structures, Information Systems Development, Database Management Systems, Computer Graphics, Formal Methods, Program Language Semantics and Discrete Structures. This academic year (2014/2015), I am teaching:
- CS603 - Rigorous Software Development (MSc Level)
- CS629 - Directed Reading (MSc Level)
- CS357 - Software Verification (3rd Year BSc Level)
I also direct the following taught postgraduate programmes:
Some (old) lecture slides follow. New lecture slides are available on Moodle.
Introduction to Programming - see https://firstyears.cs.may.ie/
Rigorous Software Process – see MSc Lab J drive
Programming and C++
Se202 Algorithms and
Methods (Z Specification & Program Verification)
SE424 Formal Methods
(Program Language Semantics)