Algebra, Logic and Computation
The research group of Algebra, Logic and Computation is composed of 15 Ph.D. members and one Ph.D. student. In collaboration with colleagues in other research units, the members of this group carry out research in the domain of Algebra and Logic, with projects involving matrix theory, numerical linear algebra, semigroup theory, structural proof theory and automata theory, as well as applications to Computer Science, in the fields of functional programming, automata and formal languages, and to information theory, in the algebraic theory of convolutional codes.
Part of the Ph.D. members participated in the project ALC
. The other Ph.D. members participated in the project COMAPP
Some of the members participate in research projects with external financial support.
Apart from this individual research activity, the Algebra, Logic and Computation research group organises seminars, short courses and scientific meetings.