Professor at the University of St Andrews and University of Dundee, currently based at the Dundee International Institute at Central South University in Changsha, China.

My research interests include:

  • Computational group theory — permutation group algorithms, graph backtracking, stabiliser chains
  • Constraint programming — solvers, modelling, symmetry breaking
  • Puzzles and games — puzzle generation, difficulty measurement, game design

I keep a blog here with technical posts, and I’m working on a set of notes about computational group theory in GAP. See also my CV and full publications list.