O trabalho da equipa foca-se em problemas que ligam a teoria dos semigrupos e a álgebra universal com outras áreas da Matemática, nomeadamente grupos, autómatos finitos, grafos e ciência da computação teórica. Tal inclui, por exemplo, o estudo de classes de linguagens regulares, problemas de decidibilidade e a interação entre semigrupos de transformações e grupos de permutações,ou explorar classes de álgebras que formam variedades ou formações.
O desenvolvimento de aplicações da Demonstração Automática a áreas da Álgebra ligadas à Computação Teórica é um importante tema de investigação, o qual inclui criar novos pacotes de software para sistemas como o GAP ou de demonstração automática, bem como para explorar a interacção de diferentes sistemas computacionais.
