PhD in Logic and Theoretical Computer Science at RUG (Groningen, Netherlands) under the supervision of Revantha Ramanayake.
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.