Teaching
Current
I am teaching Software Specification and Foundations of Programming in Q1 2025/26. I will be teaching Compilers in Q4 2025/26.
Past Courses
- 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