students
Current PhD Students
- Jairo Raphael Moreira Correia de Souza
- Karine Galdino Maia Gomes
- Rodrigo dos Santos Lima
- Rodrigo José Sarmento Peixoto
- Thayonara de Pontes Alves
Current MSc Students
- Andrezza Bonfim
- Giovanna Trigueiro
- Nayse Fagundes
Past students
- Tayná Larissa Fischer Vieira. A Framework of Memoization and Variational Lift using Interpreters. (MSc 2025, co-advised with Vander Alves)
- As of July 2025: Software Engineer @ Systems Development Center - Brazilian Army
- Bruno Matissek Worm. Evolution-aware static analysis of software product lines. (MSc 2024, co-advised with Vander Alves)
- As of July 2025: Information Analyst @ Chamber of Deputies - National Congress of Brazil
- Raquel Maria Santos de Oliveira. A Static Analysis tool for Detecting Resource Leaks in Android Applications. (MSc 2023)
- As of July 2025: Android Developer @ Cora
- Felipe Zimmerle da Nóbrega Costa. Distributed Repository for Software Packages Using Blockchain. (PhD 2022, co-advised with Ruy Queiroz)
- As of July 2025: Principal Security Consultant @ NCC Group
- Thiago Mael de Castro. A Machine-Verified Theory of Commuting Strategies for Product-Line Reliability Analysis. (PhD 2019, co-advised with Vander Alves)
- As of July 2025: Software Engineer @ Systems Development Center - Brazilian Army
- Pedro Henrique Sousa de Moraes. Willow: A Tool for Interactive Data Structures and Algorithms Visualization. (MSc 2020)
- As of July 2025: Senior Software Engineer @ Sinch
- Thayonara de Pontes Alves. Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study. (MSc 2020)
- As of July 2025: PhD Student @ CIn-UFPE
- Samuel Bristot Loli. Object-Relational Mapping Code Smells in Java Projects: A catalog and a detection tool. (MSc 2020)
- As of July 2025: Senior Software Engineer @ European Dynamics & Software Engineer @ IFSC
- Daniel Severo Estrázulas. A domain specific language for describing classification rules in the quota system of the brazilian federal public education network. (MSc 2020)
- As of July 2025: IT Analyst @ IFSC
- Karine Galdino Maia Gomes. Characterizing Safe and Partially Safe Evolution Scenarios in Product Lines: An Empirical Study. (MSc 2019)
- As of July 2025: Senior Software Engineer @ CESAR & PhD Student @ CIn-UFPE
- Alex Juvencio Costa. Test Strategies for Smart Cities Applications: A Mapping Study. (MSc 2019)
- As of July 2025: Senior Software Engineer @ CESAR
- Gabriel Ibson de Souza. On the challenges and architectural impacts of introducing gamification into a software system: The VazaZika case study.. (MSc 2019)
- As of July 2025: Senior Java Software Engineer @ Construo AG
- Victor Laerte de Oliveira. An Empirical Study on the Adoption of the Kotlin Programming Language for Android Development. (MSc 2019)
- As of July 2025: Software Engineering Manager @ Serasa Experian
- Bruce Fabian Reis Albuquerque. Evaluating the consistency of government sites to the coding guidelines from the web standards of electronig government (e-PWG). (MSc 2018)
- As of July 2025: IT Analyst @ IFRO
- Gabriela Cunha Sampaio. Partially safe evolution of software product lines. (MSc 2017, co-advised with Paulo Borba)
- As of July 2025: Software Engineer @ Meta
- Fernando Chaves Benbassat. Safe evolution of product lines: Feature extraction scenarios. (MSc 2017, co-advised with Paulo Borba)
- As of July 2025: Staff Quality Assurance Engineer @ CESAR
- Thiago Mael de Castro. Commutative strategies for reliability analysis of software product lines. (MSc 2016, co-advised with Vander Alves)
- As of July 2025: Software Engineer @ Systems Development Center - Brazilian Army