I am interested in constraint satisfaction and optimisation, and its
applications in areas such as design and configuration, resource
allocation, planning and scheduling, statistical inference and
combinatorial mathematics. In particular, I'm interested in how such
problems are represented (modelled) for the solver, and whether
improvements to the representation can be generalized and automated in
modelling tools.
Ph.D. Computer Science, University of St Andrews
2007 - 2018: Research Fellow and Senior Research Fellow in Artificial
Intelligence at the University of St Andrews
2018 - 2023: Lecturer in Artificial Intelligence, University of York
2023 onwards: Senior Lecturer in Artificial Intelligence, University of York
Phone: +44 (0)1904 325444
Office: CSE/145E-mail: Send e-mail using web form
Research Group: