The team works on the interaction between the theory of semigroups and universal algebra with other areas of Mathematics, namely groups, finite automata, graphs and theoretical computer science. This includes, for example, the study of classes of regular languages, decidibility problems, and the interplay between semigroups of transformations and groups of permutations, or exploring classes of algebras that form varieties or formations.
Developing applications of Automated Reasoning to areas of Algebra linked to Theoretical Computer Science is an important topic of research; this includes the production of new software packages for systems such as GAP, and for automated reasoning, as well as to explore the interplay of different computational systems.
