CMUP line of research: Semigroups, Automata and Languages