• KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Discrete Mathematics, Algorithms, Computational Group Theory, Computational Graph Theory, Combinatorics, Permutation Patterns, Artificial Intelligence (AI)

If you made any changes in Pure these will be visible here soon.

Personal profile


I am a Lecturer at the University of St Andrews. My research interests lie in computational combinatorics, graph theory, permutation classes, computational group theory and formal verification.

During my PhD I've investigated the regular language of permutation pattern classes and identified the encodings of sets of permutations with certain properties.

While a researcher I worked on verifying UAV scenarios, memory consistency models, and cache coherence protocols using formal methods, such as model checking. In addition, I have used constraint programming to generate litmus tests for MCMs and CCPs.

More recently, and in line with my main research interests I have been working on improving combinatorial search for graph problems.

Teaching activity

I am the Graduate Apprenticeship Coordinator and teach modules which involve theoretical computer science and computer security:

  • CS2001 -- Foundations of Computation
  • IS5104 -- Information Security Management


Research overview

My research interests lie in computational combinatorics and group theory, graph theory, permutation classes and formal verification.

In particular, I am interested in engineering efficient algorithms (such as combinatorial search) for graph problems (e.g. subgraph isomorphism problem), group problems (e.g. finding stabiliser chains) and permutation classes (e.g. language of simple permutations).

Profile Keywords

combinatorics, computational mathematics, Artificial Intelligence, combinatorial search, graphs, groups, permutations, theoretical computer science


Dive into the research topics where Ruth Hoffmann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or