Tiago Massoni

Professor of Computer Science at the Federal University of Campina Grande.

My resumé.

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.

Member of National Institute of Software Engineering (INES).

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

Teaching Computer Science

2017.2 Semester: Mathematical Logic and Algorithm Analysis and Design..

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