Teaching

Current 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. Classes. COMP5180 – Algorithms, Correctness and Efficiency.
• 2024-2025. Classes. COMP5450 – Functional and Concurrent Programming.

Past Modules

• 2017-2019. CO519 – Theory of computing. Moodle page here, Seminar. University of Kent.
• 2017-2018. CO545 – Functional and concurrent programming. Moodle page here, Seminar. University of Kent.
• 2017-2019. Category Theory with Dominic Orchard, University of Kent. Reading group for postgraduates and researchers. 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).