Ian James MiguelView profile
Professor
Prof Ian James Miguel is a Professor and Head of the School of Computer Science at the University of St Andrews, a position he has held since 2004. He specializes in Artificial Intelligence, particularly in solving combinatorial optimization problems using Constraint Programming and SAT techniques. His research emphasizes automated constraint modeling, including the development of the Constraint Modelling Pipeline, which translates high-level problem descriptions into solver-ready models. He teaches courses on Constraint Programming and Video Games. His research focuses on advancing constraint modeling techniques, including automated reformulation, tabulation, and the exploration of constraint models via graph transformations. Notable contributions include the Athanor system for local search over constraint specifications and the TabID framework for subproblem identification. His work frequently addresses challenges in combinatorial optimization, such as multi-task learning and algorithm selection. Prof Miguel leads projects funded by EPSRC and others, including initiatives on automated constraint modeling tools like Conjure and Savile Row. He has supervised PhD students in areas like constraint modeling, automated algorithm selection, and planning under constraints. His research extends to interdisciplinary applications, such as ecological modeling and computational algebra, through collaborations with centers like the Sir James Mackenzie Institute. His recent publications emphasize automated reformulation techniques, streamlined constraint solving, and the integration of machine learning into constraint-based systems. His work aims to enhance solver efficiency and broaden the applicability of constraint programming across diverse domains.










