Teaching

Current Modules

• 2025–present. COMP6018 – Theory and Practice of Concurrency.
• 2025–present. COMP6012 – Programming Languages: Applications and Design.
• 2025–present. COMP8220 – Introduction to Quantum Computing & Quantum Cryptography.

PhD Courses and Reading Groups

• 2024/25. Category Theory course for postgraduates. Link to the course, here.
• 2017-2019. Category Theory with Dominic Orchard, University of Kent. Postgraduate Course. Download the notes here.

Notes

Some of these notes were meant to be read by some of my collaborators:

• A Taste of Categorical Semantics. (pdf)
• Kan Extensions and Monads. (pdf)

Past Modules

• 2023-2025. COMP6610 – Theory and Practice of Concurrency.
• 2023-2025. COMP6630 – Programming Languages: Applications and Design.
• 2024-2025. COMP8220 – Introduction to Quantum Computing & Quantum Cryptography.
• 2024/2025. COMP8270 – Programming for Artificial Intelligence.
• 2024-2025. Class Supervisor. COMP5180 – Algorithms, Correctness and Efficiency.
• 2024-2025. Class Supervisor. COMP5450 – Functional and Concurrent Programming.
• 2017-2019. CO519 – Theory of computing. Class Supervisor. University of Kent.
• 2017-2018. CO545 – Functional and concurrent programming. Class Supervisor. University of Kent.
• 2014-2015. Advanced Models and Programs with Jesper Bengtson. ITU Copenhagen.