Embedded Files
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
Ângela Maria
Débora Fernandes
Geísa Morais
Isabel Freire
Josimara Silva
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.
Google Sites
Report abuse