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
  • Automated Software Testing | Formal Methods | NLP
  • Teaching Assistant: System Analysis and Design (IF718), Programming Paradigms (IN1007)
• Master’s & Bachelor’s Degree in Computer Science @ UFPE
• Exchange Student @ Universidade do Porto

• Software Engineer @ Federal Institute of Education, Science and Technology - Pernambuco (2017 - Present)
  • 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! 🚀