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.
With Brahim Hnich I maintain CSPLib, the constraint benchmark library.
I am a co-founder of the Minion Constraint Solver - fast, scalable constraint solving!
I am PI of the Constraint Solver Synthesiser (Dominion) project.
I am supervising the PhD studies of Ozgur Akgun, Bilal Hussain, and Arunas Prokopas.
I had the honour of supervising the PhD studies of Andy Grayland, Lars Kotthoff, and Andrea Rendl.
Visit The Automated Constraint Modelling project page.
A complete list of my publications can be found here.
Click here if you are interested in flexible AI planning.