Broadly: Universal Algebra, Semigroups and Algebraic logic

Natural Dualities

Algebras of relations

    • Relation algebras and qualitative calculi

    • Partial functions

    • Representability problems

    • As foundations for computer science theoretic processes and modelling

Varieties, quasi-varieties and other similar classes

    • Finite axiomatisability; variety lattices

Computational complexity

    • Algebraic methods in computational complexity (particularly relating to constraint satisfaction problems)

    • Computational complexity of universal algebraic properties