MAP-PDMA
José Espírito Santo
The research group of Algebra, Logic and Computation is composed of 18 PhD members, 3 PhD students and 1 scholarship.
In collaboration with colleagues in other national and international research units, the members of this group carry out research in the domains of Algebra and Logic, specifically in the areas of matrix theory, numerical linear algebra, semigroup theory, structural proof theory, type theory, and automata and formal languages theory, with a particular attention to applications in Computer Science, in the areas of theory of programming languages, functional programming, automata and formal languages, and algebraic coding theory.
Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica | 2021
Semigroup Forum | 2021
Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica | 2021
Jornal Internacional de Estudos em Educação Matemática | 2021
Ciência e Natura | 2021
Linear and Multilinear Algebra | 2021
Notes on Number Theory and Discrete Mathematics | 2021
Cadernos do IME - Série Matemática | 2021
Communications in Computer and Information Science | 2021
The ALC Meeting 2021 is organized by the research group Algebra, Log
Prof. Charles Johnson
The Fifth Workshop New Trends in Quaternions and Octonions -
The Open Day of CMAT is dedicated to research topic
The following sessions are part of the scientific programme of the…
Rui Soares Barbosa (INL)
Paula Maria Machado Cruz Catar
Lei Du
José Carlos Costa