Teaching
Current
I will be teaching Foundations of Programming in S1 2026/27 and Software Analysis and Specification in Q1 2026/27.
I am teaching Software Specification and I will be teaching Compilers in Q4 2025/26.
Past Courses
- Q2 25/26 – Compilers
- Q1 25/26 – Programming Languages and Systems
- Q1 25/26 – Software Specification
- Q1 25/26 – Foundations of Programming
- 1st Semester 24/25 – Concurrent Programming Languages
- 1st Semester 24/25 – Algorithms and Data Structures
- 2nd Semester 23/24 – Interpretation and Compilation of Programming Languages
- 1st Semester 23/24 – Concurrent Programming Languages
- 1st Semester 23/24 – Algorithms and Data Structures
- 2nd Semester 22/23 – Construction and Verification of Software
- 1st Semester 22/23 – Concurrent Programming Languages
- 1st Semester 22/23 – Introduction to Programming
- 2nd Semester 21/22 – Construction and Verification of Software
- 1st Semester 21/22 – Introduction to Programming
- 1st Semester 21/22 – Concurrent Programming Languages
- 2nd Semester 20/21 – Construction and Verification of Software
- 2nd Semester 20/21 – Analysis and Design of Algorithms
- 1st Semester 20/21 – Concurrent Programming Languages
- 1st Semester 20/21 – Introduction to Programming
- 2nd Semester 19/20 – Analysis and Design of Algorithms
- 1st Semester 19/20 – Software Systems (PhD Course)
- 1st Semester 19/20 – Introduction to Programming
- 2nd Semester 18/19 – Software Systems (PhD Course)
- 2nd Semester 18/19 – Analysis and Design of Algorithms
- 1st Semester 18/19 – Introduction to Programming
- 2nd Semester 17/18 – Analysis and Design of Algorithms