Tiago Massoni
Professor of Computer Science at the Federal University of Campina Grande.
E-mail: massoni@computacao.ufcg.edu.br
Currently Head of Department (Computing and Systems) at UFCG.
President of the Formal Methods Special Group at SBC.
I focus my research in human aspects of software development; also evolution and verification. Here are my main publications.
Current PhD student Ruan Pierre, Flávia Estélia, Francielle Santos, Camila Sarmento and Narallynne Araújo.
Current MSc students Ana Silva.
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
Current:
Past: Algorithm Analysis and Design, Technical Writing for Computer Science, 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