Ian Miguel

Reader
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
Fife
KY16 9SX
United Kingdom

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

I am a member of the Constraints Group here at St Andrews, and the CPPod multi-site research group.

Activities

I am a co-founder of the Minion Constraint Solver - fast, scalable constraint solving!

I am PI of the Constraint Solver Synthesiser (Dominion) project.

With Brahim Hnich I maintain CSPLib, the constraint benchmark library.

Recent Activities

Until May 2009, I was a Royal Academy of Engineering / EPSRC Research Fellow, working on "An Automated Constraint Modelling Assistant".

Along with Alan Frisch, I edited a special issue of Constraints journal on Abstract and Automation in Constraint Modelling.

Along with Wheeler Ruml, I co-chaired SARA 2007, the 7th International Symposium on Abstraction, Reformulation and Approximation.

Research

I am supervising the PhD studies of Ozgur Akgun and Lars Kotthoff,

I had the honour of supervising the PhD studies of Andy Grayland 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.