Sou professor adjunto do Instituto de Computação da Universidade Federal do Rio de Janeiro desde agosto de 2018.
Meus principais interesses de pesquisa são
- teoria de categorias e programação funcional;
- teoria dos conjuntos, em especial a teoria descritiva dos conjuntos;
- teoria dos grafos;
- teoria da computabilidade, em especial quando relacionada à teoria descritiva dos conjuntos;
- aplicação de jogos à matemática.
Em abril de 2018, concluí meu doutorado na Universidade de Amsterdã, sob orientação de Benedikt Löwe. Minha dissertação Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks tratou de diversos aspectos de jogos infinitos para classes de funções em teoria descritiva dos conjuntos.
Antes disso,
- Em agosto de 2013, concluí um mestrado cum laude na Universidade de Amsterdã, também sob orientação de Benedikt Löwe. Minha dissertação Game characterizations of function classes and Weihrauch degrees tratou de aspectos preliminares do tema do doutorado.
- Em fevereiro de 2011, concluí um mestrado no Programa de Engenharia de Sistemas e Computação da COPPE/Universidade Federal do Rio de Janeiro, sob orientação de Márcia R. Cerioli e Petrucio Viana. Minha dissertação Decomposição por cliques maximais e subgrafos proibidos para grafos de caminho tratou de aspectos abstratos e algoritmicos das definições por proibição em teoria dos grafos e áreas similares, tendo sido selecionada como uma das dez melhores do Brasil em 2011 na área de computação.
- Em abril de 2009, concluí um bacharelado em matemática na Universidade Federal Fluminense. Neste período, por dois anos fui aluno de iniciação científica sob orientação de Petrucio Viana. Meu trabalho Independência dos axiomas de Dedekind-Peano foi escolhido como o melhor trabalho de iniciação científica da UFF em 2008 na área de ciências exatas e da terra.