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.
Education
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.
