# 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