AI Research Group

Prof Ian Miguel

Prof Ian Miguel

Prof Ian Miguel

Director of Research

Professor - School of Computer Science

Full research profile


Office: JC0.13

Phone: +44 (0)1334 463248


Prof. Ian Miguel was appointed to a Lectureship at the School of Computer Science at St Andrews in 2004, promoted to Reader in 2009, and to Professor in 2014. He has held a five-year Royal Academy of Engineering/EPSRC Research Fellowship (2004-2009). Ian has researched constraint programming throughout his career. His PhD received the BCS/CHPC Distinguished Dissertation award. Recently, he has focused on automated constraint modelling via Essence, Conjure and Savile Row, and the construction of efficient solvers such as Minion. Ian served as programme chair of SARA in 2007, and has been on the programme committees of many other major conferences such as IJCAI, AAAI, ECAI, and Constraint Programming. Ian is PI of the current EP/K015745/1 of £630,232, having previously been PI or CI of four other EPSRC grants and an EPSRC CASE for New Academics award, sponsored by Microsoft Research, totalling approx. £3M.

The major grant we currently have running, is "Working Together: Constraint Programming and Cloud Computing" funded by EPSRC. Constraint Programming is a proven technology for solving complex problems, like planning or scheduling. However, their complexity means that performance can be variable. Scalable cloud resources will enable the deployment of portfolios of solvers with complementary strengths for more robust performance. A major concern in Cloud Computing is how to deploy an application so as to maximise performance and minimise costs – a problem ideally suited to Constraint Programming. These two research streams will work together to deliver a solution to a major challenge application in astronomy: dynamic real-time scheduling of observations on robotic telescope networks to measure the abundance of planets throughout the Milky Way. Check the project website for more:

Recent Publications