Universidade do Minho  

           
 
  Autenticação/Login
 
Contactos
Mapa do Site
   
  imprimir
 


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


 
  © 2020 Universidade do Minho  - Termos Legais  - actualizado por CMAT Símbolo de Acessibilidade na Web D.