Prof Ian Miguel

Prof Ian Miguel

Head of School

Professor

Researcher profile

Phone
+44 (0)1334 46 3248
Email
ijm@st-andrews.ac.uk
Office
C0.13
Location
Jack Cole Building (Computer Science )

 

Biography

I am a Professor and Head of School of the School of Computer Science at St Andrews, which I joined 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

I presently teach on:

  • CS4402: Constraint Programming
  • CS4303: Video Games

Research areas

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.

PhD supervision

  • Erdem Kus
  • Yigit Yazicilar
  • Carla Davesa Sureda

Selected publications

 

See more publications