Prof Ian Gent is a Professor in the School of Computer Science at the University of St Andrews. His research focuses on combinatorial search problems in artificial intelligence, particularly integrating computational group theory with constraint programming for applications like scheduling and timetabling. He holds academic qualifications including an M.A. in Mathematics from the University of Cambridge, an M.Sc. in Knowledge-Based Systems from the University of Edinburgh, and a Ph.D. in Computer Science from the University of Warwick. He supervises PhD student Mustafa Abdelwahed and has contributed to projects such as the development of the CONJURE tool for automated constraint model generation. His work spans constraint satisfaction, puzzle-solving AI, and interdisciplinary research between AI and mathematics. Notable publications include advancements in tabulation techniques (TabID) and explanations for pen-and-paper puzzles using MUSes. He is affiliated with the Centre for Research into Equality, Diversity & Inclusion and the Centre for Interdisciplinary Research in Computational Algebra. Education: M.A. in Mathematics, University of Cambridge M.Sc. in Knowledge-Based Systems, University of Edinburgh Ph.D. in Computer Science, University of Warwick Research Interests: Constraint programming and automated modelling Applications of AI to puzzles and games Interdisciplinary computational methods Key Projects: CONJURE: Automatic generation of constraint models Integration of computational group theory with constraint programming Development of tools for puzzle-solving explanations








