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] [Coq]

Teaching

I have provided teaching assistance, including working as a lab assistant, running tutorials, and marking, to the convenors of the following undergraduate modules:

Spring 2023

G51PGP: Programming Paradigms

Spring 2022

G51PGP: Programming Paradigms

Spring 2021

G51PGP: Programming Paradigms

G52ACE: Algorithms, Correctness, and Efficiency

G52AFP: Advanced Functional Programming

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