School of Computer Science
The University of St Andrews
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.