Currently, a Master's student in Computer Science (UFRN/DIMAp/PPgSC), with focus in Logic, being a student member of the Association for Symbolic Logic (ASL). Work also in Data Science projects applied to the wind energy industry. Bachelor in Information Technology and in Computer Science by the Federal University of Rio Grande do Norte (UFRN). Technical formation in Informatics by the Federal Institute of Rio Grande do Norte (IFRN) and in Informatics with emphasis in Web Development by the Federal University of Rio Grande do Norte (UFRN). In High School, performed research related to the application of clays for water softening and to autonomous landing of VANTs. In that period, also received some academic awards, with remarks to the OBMEP and CRIA competitions. At UFRN, worked as a trainee during one year in software development at the UFRN's IT Department (SINFO-UFRN), fixing and improving the web application that manages all the university's academic and organizational universe; then worked for one year in research about License Plate Recognition techniques and applications for Smart Cities, and then on the application of Big Data technologies in the 4.0 Industry. His undergraduate thesis focused on presenting in details Hilbert calculi for all classical logic fragments.
To be done.
- Research on B-entailment and abstract deductive systems (main)
- Research on perfect paradefinite algebras (main)
- Research on fault prediction in wind turbines using data-driven methods (main)
- Research on automatic extraction of Hilbert calculi for classical logic fragments (secondary)