Universidade do Minho    
 
  Universidade do Minho
http://www.cmat.uminho.pt
 
imprimir   fechar
 


Á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.


  © 2024, Universidade do Minho