Former Head of Undergraduate Studies - Computer Science 2011-2013 term.
Organizer of the 2nd Brazilian School on Formal Methods and Computational Theory, to be held in Recife-PE, Nov 2017.
I focus my research in software evolution and verification. Here are my main publications.
Current PhD student Alysson Filgueira.
Current MSc students Gabriella Mayara, Wallison Fernando, Marzina Vidal, Isabelly Cavalcante.
Teaching Computer Science
Past: Algorithm Analysis and Design, 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
Coordenação de Ciência da Computação
+55 83 988152446