Biography
I am Lecturer at Centro de Informática (CIn) of the Universidade Federal de Pernambuco (UFPE), Brazil. My main research interest is on Software Engineering, with emphasis on tests and formal methods.
Interests
- Formal specification
- Formal verification
- Tools development
Education
-
D.Phil. in Computer Science, 2016
Universidade Federal de Pernambuco (BR)
-
M.Sc. in Computer Science, 2010
Universidade Federal de Pernambuco (BR)
-
B.Sc. in Computer Science, 2006
Universidade Federal de Pernambuco (BR)