Bio

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. My research group has pioneered Programming by Optimisation (PbO), a new paradigm for developing high-performance software. Im also one of originators of the concept of automated machine learning (AutoML).