Research Topics

Home | People | Research Topics | Collaborations | Projects | Publications | Seminars | Phd Scholarships | Photos |  Jobs

We work primarily in Artificial Intelligence and Operations Research, but also at their interface with other areas such Control, Game Theory, Forecasting, Machine Learning and Simulation.

Our research expertise spans Constraint Programming, Satisfiability, Linear Programming, Dynamic Programming, Heuristic Search and Local Search, Markov Decision Processes, Diagnosis, Planning & Scheduling, and Vehicle Routing, among others.

We develop high-performance software for modelling and solving optimisation problems. Well-known examples include the G12 constraint programming platform and the LAMA planning system.