I am currently a postdoc under supervision of Mai Gehrke on the ERC project duaLL.
I did my PhD at Faculdade de Ciências da Universidade do Porto under supervision of Jorge Almeida.
Laboratoire J. A. Dieudonné
UMR CNRS-UNS N°7351
Université Côte d'Azur
06108 NICE Cedex 2
(Pro)finite Semigroups, Automata and Formal Languages
The use of Stone duality in the study of Formal Languages
My PhD thesis may be found here.
You can solve the kappa-word problem over DRG here.