|
|
|
|
|
Álgebra, Lógica e ComputaçãoO grupo de Álgebra, Lógica e Computação é composto por 12 membros doutorados que, em colaboração com investigadores de outros centros, nacionais e estrangeiros, desenvolvem investigação nos domínios da Álgebra e da Lógica, com projetos envolvendo teoria de matrizes, teoria de semigrupos e teoria estrutural da demonstração, bem como aplicações em Ciências da Computação, nas áreas de programação funcional, autómatos e linguagens formais, e em Teoria da Informação, na área da teoria algébrica de códigos. No período 2003-2007, os membros doutorados do grupo constituiram o projeto MaPSe, com financiamento plurianual da FCT. Pode encontrar aqui uma descrição sumária da investigação realizada naquele período de tempo.
Alguns dos membros deste grupo participam em projectos de investigação com financiamento externo.
Para além da atividade de investigação, os membros do grupo de Álgebra, Lógica e Computação organizam seminários, cursos breves e congressos.
|
|