HackRoom: A Pop Up Cyber Security Escape Room for Interactive Learning
(with 11 co-authors)
Book chapter (2026) [x]
A robust graph-based approach to observational equivalence
(with Dan R. Ghica and Koko Muroya)
LMCS article (2025) [x]
Introduction to Type Theory with Agda
MGS 2024 lecture series [x]
Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
Thesis [x]
Search over uniformly continuous decidable predicates on infinite collections of types
Blog post [x]
Global Optimisation with Constructive Reals
(with Dan R. Ghica)
LICS 2021 publication [x]
LICS 2021 talk [x]
Global Optimisation via Constructive Reals
Talk given at Huawei-Edinburgh Joint Lab [x]
Formalising the Escardó-Simpson Closed Interval Axiomatisation in Univalent Type Theory
Talk given at HoTT/UF 2020 [x]
Related Agda code [x] [x]
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation
(with Dan R. Ghica)
Arxiv preprint [x]
Local Reasoning for Robust Observational Equivalence
(with Dan R. Ghica and Koko Muroya)
Arxiv preprint [x]
Talk presented at PERR 2019 [x]
Spartan Visualiser
An implementation of the GoI-style programming language framework 'The Spartan Calculus' [x]
A Graph-Rewriting Perspective of the Beta-Law
(with Dan R. Ghica and Koko Muroya)
Abstract presented by Koko Muroya at LOLA 2018 [x] [x]
BCTCS 2026
Birmingham, UK (Co-organiser, March-April 2026)
FSCD 2025
Birmingham, UK (Co-organiser, July 2025)
SYCO 12
Birmingham, UK (Co-organiser, April 2024)
MGS 2024
Leicester, UK (Lecturer, April 2024)
MGS 2023
Birmingham, UK (Co-organiser, April 2023)
CCC 2022
Padova, Italy (Speaker, September 2022)
MGS 2022
Nottingham, UK (April 2022)
CiE 2021
The Internet (Speaker,July 2021)
LICS 2021
The Internet (Speaker, July 2021)
HoTT/UF 2020
The Internet (Speaker, July 2020)
STRINGS 3/SYCO 5
Birmingham, UK (September 2019)
DeepLearn 3
Warsaw, Poland (July 2019)
MGS 2019
Birmingham, UK (April 2019)
PERR 2019
Prague, Czech Republic (Speaker, April 2019)
SYCO 1
Birmingham, UK (September 2018)
LOLA 2018
Oxford, UK (July 2018)
I am currently a lecturer on the Discover: Computer Systems and Professional Practice, Software Engineering and Advanced Functional Programming modules.
Previously, I have been taught Theories of Computation, Computer Systems, Functional Programming, Foundations of Mathematics in Computer Science and Logic & Computation.
I enjoy playing tabletop roleplaying and board games, as well as hiking (especially long-distance walking trails).
In recent years I have walked The Dales Way and The Skye Trail