AI Research Theme

This is the website for the Artificial Intelligence Research Theme at the University of St Andrews.

Research People


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.