research line of
- Métodos Formais e Fundamentos Matemáticos da Ciência da Computação Grupo de Pesquisa
- NÚCLEO DE PESQUISAS E ESTUDOS DE INTERAÇÕES SOCIOAMBIENTAIS - NUPEIS Grupo de Pesquisa
Matemática da Computação
- Visão geral