Portfólio.

Disciplina Arquitetura de Software: Teoria e Prática
Turma 2026

AlocaCreche

Estudo de caso de arquitetura: plataforma para prefeituras gerenciarem a inscrição, a fila de espera e a matrícula em creches públicas, substituindo a alocação manual de vagas.

• Concorrência: evita dupla matrícula na mesma vaga, com lock otimista (@Version e Spring Retry) e lock por turma na fila
• Reação à liberação de vaga: quando uma vaga abre, o próximo da fila é alocado automaticamente
• Proximidade: sugestão de creches próximas pela distância de Haversine
• Multi-tenant: isolamento de dados entre prefeituras com Row-Level Security no PostgreSQL
• Confiabilidade: Transactional Outbox para publicar eventos no RabbitMQ

Monólito modular no núcleo; microsserviço apenas onde há tolerância a consistência eventual.

Disciplina de Análise e Projeto de Algoritmos
Pós-graduação em Ciência da Computação, Unesp

Estratégias de decodificação para LLMs

Análise empírica de complexidade e trade-offs em quatro estratégias de decodificação: Greedy, Nucleus Sampling (Top-p) e duas implementações do Min-p, a versão canônica O(|V| log|V|) do Hugging Face e uma versão linear O(|V|) que propus, trocando torch.argsort por probs.max().

• 1.550 execuções controladas no GPT-2 (CPU)
• O Greedy degenera: correlação quase perfeita entre entropia e repetição (ρ = -0,975)
• Nucleus e Min-p, com diferença de tempo de apenas 1,3% em relação ao Greedy
• Min-p linear sem perda de qualidade