ALC | Algebra, Logic and Computation


The research group of Algebra, Logic and Computation is composed of 18 PhD members, 2 PhD student 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.


PHD Members

Non PHD Members

Useful Links

Last Publications

Revista Sergipana de Matemática e Educação Matemática | 2019

Renata Vieira

Francisco Alves

Punjab University Journal of Mathematics | 2019

Arfat Ahmad Wani

V. H. Badshah

G. P. S. Rathore

Paula Maria Machado Cruz Catarino

Leibniz International Proceedings in Informatics, LIPIcs | 2019

T. Uustalu

Applied Mathematics and Computation | 2019

Alexander Guterman

Rute Lemos

Filomat | 2019

X. Mary

REICE. Revista Iberoamericana sobre Calidad, Eficacia y Cambio en Educación | 2019

Paula Catarino

José Lopes

Helena Silva

Eva Morais

Special Matrices | 2019

A.V.D. Costa

J.M.S. Simões-Pereira

Publicacions Matemàtiques | 2019

Jorge Almeida

Alfredo Costa

Marc Zeitoun

Related Events

University of Trás-os-Montes e Alto Douro | -

The Fifth Workshop New Trends in Quaternions and Octonions -

Pole I of ECVA - Geosciences Auditorium, UTAD |

The Open Day of CMAT is dedicated to research topic

online | -

The following sessions are part of the scientific programme of the…

online | | 14:30

Patrícia Beites

online | | 15:00

Paula Maria Machado Cruz Catar

online | | 12:00

José Espírito Santo

online | | 11:00

Huihui Zhu

Sala de Seminários do DMAT (sala 3.08), Campus de… | | 14:30

José Carlos Costa