• KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Artificial intelligence (ai); decision-making and optimisation; combinational search; constraint modelling and solving; propositional satisfiability (sat)

Personal profile

Research overview

I work in Artificial Intelligence, specifically in solving complex combinatorial optimisation problems, such as planning, scheduling, or routing with technologies such as Constraint Programming or Propositional Satisfiability (SAT).

Much of our work in St Andrews has focused on the important problem of modelling. A model in this sense is the description of the problem we wish to solve suitable for input to an automated solver - the quality of the model has a very significant impact on solving performance. We have developed a Constraint Modelling Pipeline to automate this modelling process, compiling a high-level description of a problem down to a variety of powerful solving technologies.

Profile Keywords

Artificial Intelligence, Constraint Programming, Constraint Modelling, Propositional Satisfiability, SAT, Combinatorial Optimisation.


I am a Professor and Head of School of the School of Computer Science at St Andrews, which I joined the in 2004.

I have worked in Artificial Intelligence for over 25 years, specialising in solving combinatorial optimisation problems through Constraint Programming and related technologies.

Teaching activity

I presently teach on:

  • CS4402: Constraint Programming
  • CS4303: Video Games


Dive into the research topics where Ian James Miguel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or