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

Docentes:

• Prof.ª Dr.ª Ana Karolinna Maia de Oliveira
  
• Prof.ª Dr.ª Ana Teresa de Castro Martins
• Prof. Dr. Carlos Eduardo Fish de Brito
• Prof.ª Dr.ª Cláudia Linhares Sales
• Prof. Dr. Fernando Antônio de Carvalho Gomes
• Prof. Dr. João Fernando Lima Alcântara
• Prof. Dr. João Paulo Pordeus Gomes
  
• Prof. Dr. Manoel Bezerra Campêlo Neto
• Prof. Dr. Marcelino Cavalcante Pequeno
• Prof. Dr. Rafael Castro de Andrade
• Prof. Dr. Rudini Menezes Sampaio
• Prof. Dr. Victor Almeida Campos