This is the website for the Artificial Intelligence Research Group at the University of St Andrews. Find out who our members are on the People page. Have a look at some of our Research Projects. Or take a look at all the papers published by our members on the Publications page.
The Artificial Intelligence Research Group’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.