Lecture Courses

Current

• Functional Programming 2. Course notes are here.
• Algorithmic Foundations 2. Course notes are on Moodle.
• Algorithmics 3 (Computability). Course notes are on Moodle, old notes are here.

Past

• Programming Language Design and Implementation 3.
• Modelling Reactive Systems 4. Course notes are here.
• System Partitioning Module 4, SLI Institute.