Research developed within the Algebra group connects with a variety of (sub)areas of Mathematics and Computer Science. Graph-theoretic, geometric or topological arguments have widespread use.
Automata theory: Descriptional complexity in the average case through the analytic combinatorics of conversion methods between regular expressions and finite automata. Invertibility studies to develop a public-key cryptography system based on linear transducers. Use of pre-grammars for type inhabitation.