PhD student at Center of Informatics - UFPE - Brazil.
Areas: Test Automation; Natural Language Processing; Formal Methods.