The research group of Algebra and Logic is composed of 12 members with Ph.D. degrees who, in collaboration with colleagues in other research units, carry out research in areas of semigroup theory (algebraic semigroup theory, finite semigroups, pseudovarieties, transformation semigroups), matrice theory and logic and computation (proof theory and type theory).
All members of this research group participate in the project MaPSe which is financed by FCT through the multi-annual financial support program. Some of the members also participate in research projects with external financial support.
Apart from this individual research activity, the Algebra and Logic research group organises seminars, short courses and scientific meetings. During the last decade, four international conferences and a national meeting have been organised.
One member of this group is responsible for the supervision of a Ph.D. student.