PhD candidate at RUG (Groningen, Netherlands) under the supervision of Revantha Ramanayake, focused on
decidability and complexity of non-classical logics through proof theory.
Master in Systems and Computing by UFRN (Natal, Brazil)
under the supervision of João Marcos and Sérgio Marcelino.
Bachelor in Computer Science also by UFRN. Interested in
proof theory, non-deterministic semantics, non-Tarskian notions of logics,
abstract algebraic logic and data science.
Technical formation
in Informatics by IFRN-ZN (Natal, Brazil) and in Informatics with
emphasis in web development by UFRN.