Álgebra, Lógica e Computação

O grupo de Álgebra, Lógica e Computação é composto por 19 membros doutorados. Em colaboração com investigadores de outros centros, nacionais e estrangeiros, os membros deste grupo desenvolvem investigação nos domínios da Álgebra e da Lógica, especificamente nas áreas de teoria de matrizes, álgebra linear numérica, teoria de semigrupos, teoria estrutural da demonstração, teoria de tipos e teoria de autómatos e linguagens formais, com particular atenção às aplicações em Ciências da Computação, nas áreas de teoria das linguagens de programação, programação funcional e teoria algébrica de códigos.