I'm a Software Engineer and Researcher with expertise in Formal Methods, Automated Software Testing, Natural Language Processing, and Smart Contracts. Passionate about building robust, scalable, and verifiable software solutions.
- Postdoc @ UFPE
- Smart Contracts | Formal Methods
- Ph.D. in Computer Science @ UFPE
- Master’s & Bachelor’s Degree in Computer Science @ UFPE
- Exchange Student @ Universidade do Porto
- Technology Specialist @ CETENE (2025 - current)
- Software Engineer @ Federal Institute of Education, Science and Technology - Pernambuco (2017 - 2025)
- Python | Django | Android | Java | Docker | GitLab CI/CD | SonarQube
- Researcher @ FADE/TBTL (2023 - Present)
- Solidity | Solc-Verify | Boogie
- Researcher @ FADE/Motorola (2015 - 2022)
- CSP | Alloy | Clingo | Grammatical Framework | CoreNLP | NLTK | Android | Java | Python
- Languages & Frameworks: Python, Java, Solidity, Django, Android
- DevOps & Tools: Docker, GitLab CI/CD, Terraform
- Formal Methods: Alloy, CSP, Solc-Verify, Clingo
- NLP & AI: CoreNLP, NLTK, Grammatical Framework, LLMs
- Software Testing: Certified Tester (14-CTFL-03630-BR)
Feel free to check out my repositories and reach out for collaborations! 🚀