PhD Students

Past Students

Özgür Akgün — Extensible automated constraint modelling via refinement of abstract problem specifications, University of St Andrews, 2014. Co-supervised with Ian Miguel. Thesis

Now Senior Lecturer at the School of Computer Science, University of St Andrews.

Saad Attieh — Automatically exploiting high-level problem structure in local-search, University of St Andrews, 2021. Co-supervised with Ian Miguel. Thesis

Mun See Chang — Computing normalisers of highly intransitive groups, University of St Andrews, 2021. Co-supervised with Colva Roney-Dougal. Thesis

Now Lecturer at the School of Computer Science, University of St Andrews.

Alice Lynch — Effective player guidance in logic puzzles, University of St Andrews, 2024. Co-supervised with Ian Gent and Uta Hinrichs. Thesis