Teaching
Current Modules
- 2024/2025. Kent Category Theory Seminars. Postgraduate Course. Notes.
- 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.
Course Notes
A Taste of Categorical Semantics
Notes, 2024.
[pdf]
Kan Extensions and Monads
Notes, 2023.
[pdf]
Past Modules
- 2017-2019. CO519 – Theory of computing. Class Supervisor. University of Kent.
- 2017-2018. CO545 – Functional and concurrent programming. Class Supervisor. University of Kent.
- 2017-2019. Category Theory with Dominic Orchard, University of Kent. Postgraduate Course. Download the notes here.
- 2014-2015. Advanced Models and Programs with Jesper Bengtson. ITU Copenhagen.
Software
- The Markix Operating System. It is a bare bone operating system for x86 architectures written in Assembly and C. It runs on the bochs emulator. Download the source code from my GitHub page. Software needed: NASM Compiler, C Compiler with support for cross compiling to i386 architectures, Bochs, GNU Debugger (gdb).