Automated Design and Analysis of Algorithms

The Automated Design and Analysis of Algorithms (ADA) research group pursues the development of Artificial Intelligence techniques that complement, rather than replace, human intelligence.

In particular, their research is focussed on methods for the automated design and analysis of algorithms for computationally challenging problems, leveraging human creativity, advanced machine learning and optimisation methods, and lots of compute cycles. They work on a broad range of problems, including propositional satisfiability (SAT), AI planning, mixed integer programming (MIP), the travelling salesperson problem (TSP), supervised and semi-supervised machine learning, as well as a range of real-world applications.
More information about ADA