Coordenador: DAVI ROMERO DE VASCONCELOS

Unidade Acadêmica: Pro-Reitoria de Graduacao

Departamento: PRO-REITORIA DE GRADUACAO

Grande Área: Multidisciplinar

Resumo: 

O problema de escolha de candidatos com restrições de diversidade, conhecido como Controlled School Choice, exige algoritmos eficientes devido à inviabilidade de explorar todo o espaço de soluções. O algoritmo de Deferred Acceptance (DA) é a principal abordagem, e suas funções de escolha vêm sendo amplamente estudadas. Este projeto busca verificar automaticamente a classificação no CPNU, formalizando regras legais para checar sua correta aplicação.

Palavras-Chave: Algortimos, Métodos Formais, Validação Formal, Controlled School Choice

Data de Aprovação na UFC: 21/07/2025

Início do Projeto: 01/08/2025

Fim do Projeto: 31/12/2026

Situação: Em andamento

Projeto Financiado: Sim

Financiamento por: Agência de Fomento (Ministério da Gestão e da Inov)

Nacional/Internacional: Nacional