Notícias
Sobre
Sou um cientista da computação com foco em teoria, interessado em estruturas combinatórias e na busca por limites justos. Meu trabalho envolve construir exemplos extremais, encontrar invariantes estruturais e estudar quando limites superiores naturais são justos.
Atualmente, minha pesquisa foca em construções do tipo de Bruijn e sua interação com a Transformada de Burrows-Wheeler. Tenho interesse especial em como a estrutura combinatória cíclica controla medidas de repetitividade e os limites de índices comprimidos.
De forma mais ampla, gosto de problemas em que estrutura discreta encontra restrições computacionais: algoritmos de strings, índices comprimidos, construções extremais e a matemática de representações eficientes.
Trabalho com Leandro Zatesko como parte do Grupo de Teoria da UFPR.
Interesses de pesquisa
Algoritmos de strings, combinatória de palavras, sequências de de Bruijn, Transformada de Burrows-Wheeler, conjuntos suffixient, medidas de repetitividade, índices comprimidos e construções via corpos finitos/LFSRs.
Publicações
On the near-tightness of χ ≤ 2r: a general σ-ary construction and a binary case via LFSRs
Mostra que o limite χ ≤ 2r é assintoticamente justo, por meio de uma construção geral para alfabetos de tamanho σ e de uma construção binária baseada em sequências de de Bruijn geradas por LFSRs.
Uma das provas usa OEIS A073639 como condição; a entrada agora referencia o artigo.
Successor right-special strings with few Burrows-Wheeler Transform runs
Estuda um regime rígido do tipo de Bruijn em que todo contexto tem exatamente duas extensões sucessoras fixas. Apresenta construções explícitas com poucas corridas na BWT e razões χ/r em forma fechada que se aproximam de 2.
Exploring graph representation strategies for text classification
Um relato da experiência de construir um sistema para integração de dados e criação de indicadores para um programa governamental
Apresentações
On the near-tightness of χ ≤ 2r
Dissertação
Medidas de repetitividade em índices comprimidos de strings: conjuntos suffixient, corridas na BWT e sequências de de Bruijn. Dissertação de mestrado, UFPR, previsão de defesa em 2026. Orientador: Leandro Miranda Zatesko.
Projetos selecionados
east_shmup
Projeto em andamento em C++/Vulkan: um pequeno renderer/runtime para um bullet hell no estilo Touhou, principalmente como forma de aprender programação gráfica próxima da GPU desde a base.
Prêmios & Competições
Classificado em 1º lugar entre as propostas de mestrado do Departamento de Informática da UFPR.
Melhor formando da turma de Ciência da Computação da UFPR.
Duas vezes classificado e competidor na fase regional brasileira da competição no estilo ICPC.
Ensino
Monitor na UFPR em algoritmos e teoria dos grafos, incluindo aulas convidadas sobre fluxo máximo / corte mínimo. Também co-ministrei uma disciplina de resolução de problemas no estilo ICPC e treinei uma equipe que se classificou para a final nacional brasileira em 2024.