I'm a member of the Formal Methods Group  from the Department of Computing and Systems at Federal University of Campina Grande . My main research interests are software evolution and verification. I've recently finished my PhD on Model and Program Refactoring. Currently I'm working on refactoring with contracts (JML), refactoring verification and software engineering education. My publications can be found here.

I am also member of the Software Productivity Group.

In the last years I've teached several courses on programming, algorithms and software engineering. This semester I'm teaching Análise e Técnicas de Algoritmos, Métodos Formais, and Data Structures Laboratory.

I love writing, reading, cinema, and music.


massoni AT dsc.ufcg.edu.br