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
Se202 Algorithms and Data Structures
SE119 Discrete Structures
SE304/CS407 Formal Methods (Z Specification & Program Verification)
SE424 Formal Methods (Program Language Semantics)