Professor of Department of Engineering and Techonology (currently teaching on Information Technology and Software Engineering courses) at the Rural Federal University of the Semi-Arid. Ex coordinator of the Software Engineering course.
My résumé
Current Undergraduate students doing some research with me:
Alex Kauan
Amanda Santiago
Ângela Maria
Débora Fernandes
Geísa Morais
Isabel Freire
Josimara Silva
Lidiana Costa
Maria Alice
Pedro Damião
Ruan Pabllo
The concluded oriented researches can be found here.
Research interests:
Software Engineering
Formal Methods
Software verification and evolution
Contract-based programs
Conformance checking
Software Testing
Smart Campus and Smart City
Here are my main publications.