Temas de Pesquisa:

• Aprendizagem de Máquina
• Complexidade Descritiva e Parametrizada
• Formalização e Automatização do Raciocínio
• Inteligência Artificial
• Lógicas Clássicas e Não Clássicas
• Teoria da Prova
• Visão Computacional

Docentes:

• Prof. Dr. César Lincoln Cavalcante Mattos
• Prof. Dr. João Fernando Lima Alcântara
• Prof. Dr. João Paulo do Vale Madeiro
• Prof. Dr. João Paulo Pordeus Gomes