Temas de pesquisa:
- Classes de Grafos
- Combinatória Algébrica
- Complexidade Computacional
- Complexidade Parametrizada
- Computação Quântica
- Jogos Combinatórios
- Matemática Discreta
- Métodos formais
- Projeto e Análise de Algoritmos
- Teoria dos Grafos
- Verificação Formal
Professores: