My current research lies in the intersection of formal methods and machine learning, specifically in the application of online and offline machine learning to SAT solving. I do this work under Prof. Wenxi Wang in the HIPREL group. Given the highly optimised SAT solving ecosystem, I've employed (and enjoyed) a particular focus on efficient design and implementation of these learning techniques.

Beyond my current work, I am drawn to problems and systems that sit at the hardware/software boundary, specifically compiler engineering and high-performance parallel computing.

The thread that consistently ties these interests together is the optimisation of complex, delicate systems for speed and safety. In the pursuit of this goal in each of these fields, I believe there is particular value in exploring the synergies between them and how the insights in one can improve another, even in both directions.