Since July 2019, I am a Junior researcher
at CMUC (Center
for Mathematics, University of Coimbra).
My research project is entitled A pointfree approach to
formal language theory.
From June 2016 to July 2019 I was a postdoc under
supervision of Mai
Gehrke on the ERC
I did my PhD
at Faculdade de
Ciências da Universidade do Porto, where I was advised
My CV: [English
version] [French version]
Departamento de Matemática
Universidade de Coimbra
(Pro)finite Semigroups, Automata and Formal Languages
The use of Stone duality in the study of Formal Languages
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.