Prof Ian Miguel
Head of School
Professor
- Phone
- +44 (0)1334 46 3248
- 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 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
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
- Carla Davesa Sureda
- Orhan Yazicilar
Selected publications
-
Open access
Automated streamliner portfolios for constraint satisfaction problems
Spracklen, J. L. P. J., Dang, N., Akgun, O. & Miguel, I. J., 1 Jun 2023, In: Artificial Intelligence. 319, 24 p., 103915.Research output: Contribution to journal › Article › peer-review
-
CONJURE: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 6833-6838 6 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Challenges in Modelling and Solving Plotting with PDDL
Espasa Arxer, J., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Villaret, M., 9 Jul 2023.Research output: Contribution to conference › Paper › peer-review
-
Open access
Learning when to use automatic tabulation in constraint model reformulation
Cena, C., Akgun, O., Kiziltan, Z., Miguel, I. J., Nightingale, P. & Ulrich-Oltean, F., 25 Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023: Macao, SAR. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 1902-1910 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
Cena, C., Akgün, Ö., Kiziltan, Z., Miguel, I., Nightingale, P. & Ulrich-Oltean, F., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 1902-1910 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Towards exploratory reformulation of constraint models
Miguel, I. J., Salamon, A. Z. & Stone, C. L., 27 Jul 2023. 13 p.Research output: Contribution to conference › Paper › peer-review
-
Open access
Towards optimisers that 'Keep Learning'
Hart, E., Miguel, I., Stone, C. & Renau, Q., 24 Jul 2023, (E-pub ahead of print) GECCO '23 Companion: Proceedings of the Companion Conference on Genetic and Evolutionary Computation. Silva, S. (ed.). ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
A framework for generating informative benchmark instances
Dang, N., Akgun, O., Espasa Arxer, J., Miguel, I. J. & Nightingale, P., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automatic tabulation in constraint models
Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 26 Feb 2022, (Submitted) 51 p.Research output: Working paper › Preprint
-
Open access
CONJURE: automatic generation of constraint models from problem specifications
Akgun, O., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. J. & Nightingale, P., 1 Sept 2022, In: Artificial Intelligence. 310, 27 p., 103751.Research output: Contribution to journal › Article › peer-review