I am a second-year PhD student at the Mathematics for Real-World Systems CDT in the University of Warwick, where I am fortunate to be advised by Tom Gur. My current research interests lie in theoretical computer science, with a particular focus on interactive proofs, cryptography and learning theory.

Publications

Proof-Carrying Data From Arithmetized Random Oracles
with Megan Chen, Alessandro Chiesa, Tom Gur and Nicholas Spooner
Eurocrypt 2023

Education

2021-Present: PhD | University of Warwick
Supervised by Prof. Tom Gur.

2020-2021: MSc in Mathematics of Systems (Distinction) | University of Warwick
Individual Project: Delegating Machine Learning with Succinct Proofs. Supervised by Prof. Tom Gur.
Group Project: Modelling substantia-nigra neurons to quantify the effects of alpha-synuclein in Parkinson’s disease.

2015-2019: BSc in Mathematics and Applied and Computational Mathematics (First Class Hons.) | University College Dublin
Dissertation: Topics in Functional Analysis with Applications in Machine Learning.