- Bolsista de Iniciação Científica no IMD/UFRN — desenvolvimento de soluções de computação confidencial como Desenvolvedor Full-Stack
- Ex-bolsista como Técnico de Redes e Infraestrutura no CCHLA/UFRN
- Ex-estagiário na SEEC/RN — desenvolvimento full-stack, manutenção de sistemas backend, automação de infraestrutura e QA
- Graduando em Engenharia da Computação na UFRN, em Natal/RN
- Foco atual: aplicações full-stack robustas e interfaces que comunicam com precisão
| Linguagens | |
| Frontend | |
| Backend | |
| Dados & Mensageria | |
| DevOps & Infra | |
| Testes & Tooling |
Cada projeto isola um conceito de Ciência da Computação e o torna tangível — com demo ao vivo sempre que possível.
| Projeto | Conceito que estuda | Links |
|---|---|---|
| Zoonoses Inventory | Estado distribuído em tempo real: Supabase Realtime (WebSocket), Row Level Security e UI multiusuário reativa | código · demo |
| FileVault | Upload desacoplado via presigned URLs, validação por magic bytes e type-safety em monorepo | código · demo |
| CineReserve | Controle de concorrência: locks distribuídos atômicos (Redis SET NX EX), race conditions e idempotência |
código · demo |
| Distributed Twitter | Sistemas distribuídos: relação happened-before de Lamport, Vector Clocks e consistência causal vs. eventual | código · demo |
| Expression Compiler | Compiladores: análise léxica, parsing LL(1) e geração de código intermediário de 3 endereços | código · demo |
Mais projetos e a lista completa de leituras de referência no portfólio.



