Fri, 02 Aug 2019 21:11:52 -0300

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.

Game characterizations and lower cones in the Weihrauch degrees

Fri, 02 Aug 2019 21:11:52 -0300

Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks

Tue, 24 Apr 2018 21:08:18 -0300

Fri, 12 May 2017 22:42:09 -0300

Fri, 12 May 2017 22:04:02 -0300

Sun, 28 Dec 2014 22:04:15 -0300

Sat, 10 Aug 2013 22:03:44 -0300

Thu, 01 Dec 2011 22:04:27 -0300

Wed, 23 Feb 2011 22:03:40 -0300