Título da tese: "Propriedades algorítmicas de pseudovariedades de semigrupos"
Área de investigação: Teoria de Semigrupos Finitos
Orientador: José Carlos Costa

O objectivo deste trabalho é o de investigar várias propriedades algorítmicas de pseudovariedades de semigrupos, explorando ligações entre elas e as suas aplicações à  decidibilidade (do problema da pertença) de pseudovariedades. Com o objectivo de melhor compreender a pseudovariedade dos semigrupos aperiódicos, algumas pseudovariedades mais simples, tais como LSl e DA, receberão uma atenção especial.