Tiago Massoni

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.

International Collaboration with Gary Leavens at UCF-FL, David Naumann at Stevens Institute of Technology, Miryung Kim at UT-Austin

Teaching Computer Science

Past: Algorithm Analysis and Design, Data Structures, Software Design, Formal Methods,  Research Fundaments - statistics (for Graduate students)
Contact info

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