Researcher and Lecturer in Artificial Intelligence
About Me
I have mostly worked in combining machine learning and constraint programming. My PhD thesis from the University of York was completed on the topic of learning to select SAT encodings for linear constraints. More recently I have worked in robotics, using machine learning to select suitable motion planning algorithms with a focus on predictability and reliability.
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.