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