Trabalhos selecionados de engenharia, onde as restrições deixam de ser imprevistos e se tornam parte do próprio design.
Projetos em que trabalhei.
Minha atuação abrange placas, circuitos e máquinas autônomas — transitando entre a precisão técnica e as possibilidades que um sistema bem projetado pode abrir.
Roteamento de alta densidade em formatos flexíveis.
Período / Função
VERÃO DE 2025 / LABORATÓRIO DE HARDWARE
Estágio em design de hardware focado no planejamento de camadas, roteamento HDI e na gestão de restrições físicas complexas em espaços extremamente reduzidos.
Período / Função
VERÃO DE 2025 / LABORATÓRIO DE HARDWARE
Comportamento de chaveamento, validado por todos os ângulos.
Simulações detalhadas de gerenciamento de energia utilizando chaves semicondutoras de gap largo e componentes magnéticos, submetidos a testes rigorosos em regime transitório, CA e CC.
Propulsão e navegação para veículos subaquáticos.
Trabalho de engenharia focado no design de hélices, testes de empuxo e programação de navegação aplicados à exploração subaquática autônoma.
Transferência exata de arquivos pela luz.
Um sistema óptico nativo do navegador, com processamento local, limites explícitos do protocolo e separação entre evidência digital e testes físicos com câmera.
Um solver postflop que mantém o registro honesto.
Uma bancada Rust/WASM para análise postflop heads-up, com replay exato de mãos, cache local e recomendações que param quando faltam evidências do adversário.
Comunicação efêmera sem uma caixa de entrada permanente.
Um sistema de comunicação um a um no navegador baseado em convites curtos, WebRTC direto verificado e estados de fallback explícitos.
Suporte à decisão que mostra suas evidências.
Uma plataforma de inteligência orientada por fontes para diplomas, programas, competências e locais de estudo, com recibos assinados e exploradores ao vivo delimitados.
Um microscópio de navegador para a computação de modelos.
Um instrumento local no navegador para medir rastros de modelos e separar tensores observados, intervenções, caminhos e mecanismos replicados.
Execução esparsa sem perder o estado observável.
Um sistema restrito de compilador/runtime para execução certificada de estados de eventos, com fallback denso medido.
Vincular uma entrada oculta ao comportamento nativo.
Uma linha de pesquisa em atestação RISC-V que conecta uma entrada externa privada à execução nativa autenticada dentro de um modelo de monitor declarado.
Novos projetos serão adicionados conforme estiverem prontos para serem compartilhados.
Continuar para o laboratório