Log

Last updated 22/02/2024.

2024

2023

2022

2021

2020

In 2020 I took a position with Giles Reger working on the EPSRC project CAPS: Collaborative Architectures for Proof Search.

PhD

From 2017 to 2020 I was a PhD student in the school of Computer Science, University of Manchester. My thesis was on Applications of Machine Learning to Automated Reasoning, supervised by Giles Reger and Andrei Voronkov. You might be looking for material from that time, which includes

BA

Before that, I read Computer Science (with Physics!) at the Computer Laboratory, University of Cambridge. My Part II dissertation was entitled Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed λ-Calculus, supervised by Dominic Mulligan and Victor Gomes. It has a corresponding entry in the Archive of Formal Proofs.