áreas de investigação Análise de Algoritmos e Complexidade de Computação Linguagem Formais e Autômatos Matemática Discreta e Combinatória
palavras-chave Logica Optimização Pesquisa operacional Programação de restrições (constraint programming) Teoria dos grafos