My work can be partitioned into several research directions, all revolving around a central theme of combinatorial optimisation and artificial intelligence. The goals of my research can be summarised as follows.

  1. Advance general-purpose problem-solving techniques based on constraint programming and propositional logic (MaxSAT).
  2. Develop specialised combinatorial optimisation algorithms for trustworthy machine learning.
  3. Enable machine learning algorithms to directly reason over combinatorial optimisation problems.
  4. Develop the theory and algorithms for resilient and multi-objective optimisation.
  5. Apply advanced algorithms to real-world problems.