Skip to main content Skip to navigation

Jack O'Connor

I am a first year PhD student at the Mathematics for Real-World Systems Centre for Doctoral Training. My research interests lie at the intersection between machine learning and the delegation of computation by proof systems. In particular, I am interested in studying how to outsource part or all of a machine learning task to a third party, in such a way that we can tell if the third party is being dishonest with us. I am also interested in studying this question in the setting of quantum computation. My supervisors are Tom Gur and Alessandro Chiesa.


2021-Present: PhD | University of Warwick

Supervised by Prof. Tom Gur and Prof. Alessandro Chiesa.

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.


Office: D2.11, Zeeman Building