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.