ALC | Algebra, Logic and Computation

About

The research group of Algebra, Logic and Computation is composed of 18 PhD members and 2 PhD student.

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.

Coordinator

PHD Members

Non PHD Members

Useful Links

Last Publications

Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas | 2021

Huihui Zhu

Liyun Wu

Fei Peng

Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica | 2021

R. Vieira

F.R. Alves

Journal of Mathematical Chemistry | 2021

Skander Belhaj

Fahd Hcini

Maher Moakher

Numerical Linear Algebra with Applications | 2020

Zhongyun Liu

Yang Zhou

Related Events

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

The Fifth Workshop New Trends in Quaternions and Octonions -

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