Judith Clymo


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. 

Research interests

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