I'm a PhD student at the School of Computer Science, University of Nottingham, where I also received my MSci in 2016.
Broadly, I'm interested in functional programming and am a member of the Functional Programming Lab.
More precisely, my research interests are in mathematical logic and dependent type theory, specifically in multi-agent logics and how they can be modelled using dependent type theory.
My principal supervisor is Venanzio Capretta and my second supervisor is Graham Hutton (formerly Natasha Alechina).
Game Forms for Coalition Effectivity Functions Presented at the 25th International Conference on Types for Proofs and Programs, Oslo 2019
Coauthor: Venanzio Capretta [Extended Abstract] [Slides]
The Coinductive Formulation of Common Knowledge Proceedings of the 9th International Conference on Interactive Theorem Proving, Oxford 2018
Coauthor: Venanzio Capretta [Paper] [Slides] [Agda Source] [Coq Source]
Teaching
I have provided teaching assistance, including working as a lab assistant, running tutorials, and marking, to the convenors of the following undergraduate modules:
Autumn 2020
G51MCS: Mathematics for Computer Scientists
G52ACE: Algorithms, Correctness, and Efficiency
G53CMP: Compilers
Spring 2020
G51PGP: Programming Paradigms
G52ACE: Algorithms, Correctness, and Efficiency
G52AFP: Advanced Functional Programming
G52LAC: Languages and Computation
Autumn 2019
G51MCS: Mathematics for Computer Scientists
G52ACE: Algorithms, Correctness, and Efficiency
G53CMP: Compilers
Spring 2019
G51PGP: Programming Paradigms
G52AFP: Advanced Functional Programming
G52LAC: Languages and Computation
Autumn 2018
Two-Day "Welcome to the Machine" Introduction for Incoming First-Year Undergraduates