Teaching

Current Modules

• 2023-2024. COMP6610 – Theory and Practice of Concurrency.
• 2023-2024. COMP6630 – Programming Languages: Applications and Design.

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.