PhD candidate at RUG (Groningen, Netherlands) under the supervision of Prof. Dr. Revantha Ramanayake, focused on
decidability and complexity of non-classical logics through proof theory.
Master in Systems and Computing by UFRN (Natal, Brazil)
and 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. Student member of the
Association for Symbolic Logic (ASL).
Technical formation
in Informatics by IFRN-ZN (Natal, Brazil) and in Informatics with
emphasis in web development by UFRN.