Currently Head of Department (Computing and Systems) at UFCG.
President of the Formal Methods Special Group at SBC.
I focus my research in human aspects of software development; also evolution and verification. Here are my main publications.
Current PhD student Ruan Pierre, Flávia Estélia, Francielle Santos, Camila Sarmento and Narallynne Araújo.
Current MSc students Ana Silva.
Teaching Computer Science
Past: Algorithm Analysis and Design, Technical Writing for Computer Science, Data Structures, Software Design, Formal Methods, Research Fundaments - statistics (for Graduate students).
Av. Aprígio Veloso, 882
Software Productivity Lab (SPLAB)
58429-900, Campina Grande - PB