Ian Miguel

School of Computer Science
University of St Andrews

Contact details:
Room 0.20
School of Computer Science
The University of St Andrews
North Haugh
St Andrews
KY16 9SX
United Kingdom

Mail: ijm@st-andrews.ac.uk
Telephone: +44 1334 463248
Fax: +44 1334 463278

I am a member of the Constraints Group here at St Andrews.


I am Principal Investigator of the Constraint Solver Synthesiser (Dominion), and of the Working Together: Constraint Programming and Cloud Computing projects.

I am supervising the PhD studies of Bilal Hussain, Arunas Prokopas, and James Wetter.

I had the honour of supervising the PhD studies of Ozgur Akgun, Andy Grayland, Lars Kotthoff, and Andrea Rendl.

Visit The Automated Constraint Modelling project page.

I am a co-founder of the Minion Constraint Solver - fast, scalable constraint solving! See Minion and more at our constraint modelling and solving toolchain page.

A complete list of my publications can be found here.

Click here if you are interested in flexible AI planning.