Research

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