Tiago Massoni




Former Head of Undergraduate Studies - Computer Science 2011-2013 term.

Research in software engineering 

I focus my research in software evolution and verification. Here are my main publications.

Current PhD student Alysson Filgueira.

Current MSc students Gabriella Mayara, Berg Ellison, Normando Carvalho, Wallison Fernando, Adelito Faria, Filipe Cavalcante.


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

Teaching Computer Science

2015.2 Semester: Mathematical Logic and Software Design.

2015.1 Semester: Mathematical Logic and Research Fundaments - statistics (for Graduate students)

Past: Algorithm Analysis and Design, Data Structures and Formal Methods

Contact info

Av. Aprígio Veloso, 882
Software Productivity Lab (SPLAB)
Office 
58429-900, Campina Grande - PB
Coordenação de Ciência da Computação
+55 83 988152446





Subpáginas (2): JmlOk2 Publications