Faculdade de Ciências da Universidade do Porto
geometric group theory, combinatorial group theory, algorithms in groups