Home

The Artificial Intelligence Research Theme’s work in artificial intelligence and symbolic computing is concerned with how we can make use of computers to augment human mathematical and logical capabilities and in investigating how to automate human capabilities such as face recognition. We are very active in the field of Constraint Programming, where our interests are constraint modeling and design of efficient constraint solvers – such of Minion.