Currently, I am Ph.D. Student from DIMAp (Department of Informatics and Applied Mathematics) at UFRN (Federal University of Rio Grande do Norte) and a member of INES (National Institute of Science and Technology in Software Engineering). I work at laboratory ForAll developing an approach of translation from B-Method to LLVM and teaching in federal institute of education science and technology of Rio Grande do Norte. My actual research interests are software engineering and formal methods.