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.


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

Teaching Computer Science

2017.1 Semester: Mathematical Logic and Software Design.

Past: Algorithm Analysis and Design, Data Structures, Formal Methods,  Research Fundaments - statistics (for Graduate students)
 
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