Álgebra e Lógica

O grupo de Álgebra e Lógica é composto por 12 membros doutorados que, em colaboração com investigadores de outros centros, nacionais e estrangeiros, desenvolvem investigação em áreas da teoria de semigrupos (teoria algébrica de semigrupos, semigrupos finitos, pseudovariedades, semigrupos de transformações), da teoria de matrizes e da lógica e computação (teoria estrutural da demonstração e teoria de tipos).

No âmbito da organização do CMAT, os membros deste grupo de investigação constituem o projecto MaPSe, com financiamento plurianual da FCT, participando outros membros também em projectos de investigação com financiamento externo.

Para além da actividade de investigação, os membros do grupo de Álgebra e Lógica organizam seminários, cursos breves e congressos, de que se destacam, nos últimos 10 anos, quatro conferências internacionais e um encontro nacional.

No âmbito do seu trabalho de investigação em teoria de semigrupos, um membro deste grupo de investigação orienta um aluno de doutoramento.