Researcher and Lecturer in Artificial Intelligence
About Me
I mostly work on applying machine learning to combinatorial optimisation, usually to constraint satisfaction problems. My PhD thesis from the University of York was completed on the topic of learning to select SAT encodings for linear constraints.
I have extensive teaching experience, both at university level, most recently co-teaching a Masters-level module in AI Problem Solving with Search, and previously at high school level teaching mathematics to students from the age of 11 up to 19, including A-level Maths and Further Maths.