research line of
- Computability, Approximate Reasoning, Ordered structures and Logics Grupo de Pesquisa
- Lógica, Inteligência Artificial e Métodos Formais Grupo de Pesquisa
- Matemática Aplicada Grupo de Pesquisa
- Teoria e Inteligência Computacional Grupo de Pesquisa