Pesquisas e Projetos

Projetos de Pesquisa

• KEMS - Provador de Teoremas Multi-Estratégia - Professor Adolfo Neto

Grupos de Pesquisa

• Grupo de Pesquisa em Inteligência Computacional
• Métodos Ágeis (Grupo de Pesquisa)

Outros

• Iniciação Científica