Further research interests of mine are geometric properties of groups and semigroups automata and formal languages, logic, type theory, and descriptive complexity.
Computing a (faithful) permutation representation of Lyons' sporadic simple group ‒ Monday, 20 June 2016
A small excursion into the ATLAS
HPC-GAP - An Introduction ‒ Monday, 14 September 2015
The (Co-)Wordproblem Hierarchy ‒ Tuesday, 04 June 2013