My research and teaching is at the intersection of artificial intelligence, combinatorial optimisation, and operations research.
My current research focus is on machine learning and optimisation techniques for automated algorithm design and performance optimisation, with applications to a broad range of problems, including hard- and software verification, planning, scheduling and mixed integer programming.