I have been a tenure-track Adjunct Professor (Professor Adjunto A) at the Department of Computer Science of the Federal University of Rio de Janeiro since August 2018.
My main research interests are
set theory, especially descriptive set theory;
graph theory;
computability theory, especially as it relates to descriptive set theory;
applications of games in math.
In April of 2018, I finished my PhD at the ILLC (University of Amsterdam), supervised by Benedikt Löwe. In my thesis Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks I studied several aspects of infinite games used to characterize classes of functions in descriptive set theory.
Prior to that,
In August of 2013, I finished an MSc cum laude, also at the ILLC (University of Amsterdam) under the supervision of Benedikt Löwe. In my dissertation Game characterizations of function classes and Weihrauch degrees I studied some preliminary aspects of the topic I then studied in my PhD.
In February of 2011, I finished an MSc at the Systems and Computer Engineering Program of the Federal University of Rio de Janeiro, supervised by Márcia R. Cerioli and Petrucio Viana. In my dissertation Decomposição por cliques maximais e subgrafos proibidos para grafos de caminho I studied abstract and algorithmic aspects of definitions by forbiddance in graph theory and related areas. This dissertation was selected as one of the ten best master's dissertations in computer science defended in Brazil in 2011.
In 2009, I finished a BSc in math at the Federal Fluminense University. For the latter two years of my BSc studies, I was an undergraduate researcher under the supervisition of Petrucio Viana. The resulting work titled Independência dos axiomas de Dedekind-Peano, dealing with some aspects of the independence (or lack thereof) of the usual (second-order) axioms for natural numbers was awarded the prize of best undergraduate research done at the Federal Fluminense University in 2008, in the area of exact sciences.