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
hierarchies and duality with an application to formal languages. (with M. Gehrke, A. Krebs, H. Straubing)
A note on powers of
Boolean spaces with internal semigroups. (with M. Gehrke)
My PhD thesis may be found here.
You can solve the kappa-word problem over DRG here.