- Email: email@example.com
I studied undergraduate mathematics at the University of Oxford, with a focus on pure maths. After working as a software developer for a few years I became interested in computer science and especially complexity, which led me to begin a PhD at the University of Leeds in 2016.
My research is centred on proof systems and proof complexity for quantified Boolean formulas. I am interested in the interaction between theory and practical solving algorithms, the theory of automatisability, and the effect of different problem encodings on proof size.
Research groups and institutes
- Algorithms and Complexity