Teoria da Computação
Temas de Pesquisa
Lógicas não clássicas (não monotônica, paraconsistente)
Representação do Conhecimento
Teoria da Prova
Teoria de Grafos Algoritmos (paralelos, distribuídos, aleatórios, exatos)
Heurísticas e Meta-heurísticas
Otimização (programação linear, não linear e inteira)
Métodos de Decomposição em Otimização
Sub-Linhas
