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.