students

Current PhD Students

• Jairo Raphael Moreira Correia de Souza (PhD)
• Karine Galdino Maia Gomes (PhD)
• Rodrigo dos Santos Lima (PhD)
• Rodrigo José Sarmento Peixoto (PhD)
• Thayonara de Pontes Alves (PhD)

Current MSc Students

• Igor Nascimento dos Santos (MSc)
• Nayse Fagundes (MSc)

Past students

• Raquel Maria Santos de Oliveira. A Static Analysis tool for Detecting Resource Leaks in Android Applications. (MSc 2023)
  • As of October 2023: 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 October 2023: Senior 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 October 2023: Software Engineer @ Brazilian Army
• Pedro Henrique Sousa de Moraes. Willow: A Tool for Interactive Data Structures and Algorithms Visualization. (MSc 2020)
  • As of October 2023: 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 October 2023: 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 October 2023: 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 October 2023: IT Analyst @ IFSC
• Karine Galdino Maia Gomes. Characterizing Safe and Partially Safe Evolution Scenarios in Product Lines: An Empirical Study. (MSc 2019)
  • As of October 2023: Software Developer @ LaCETI & PhD Student @ CIn-UFPE
• Alex Juvencio Costa. Test Strategies for Smart Cities Applications: A Mapping Study. (MSc 2019)
  • As of October 2023: 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 October 2023: 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 October 2023: Head of Mobile @ AllowMe (by Tempest Security Intelligence)
• 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 October 2023: IT Analyst @ IFRO
• Gabriela Cunha Sampaio. Partially safe evolution of software product lines. (MSc 2017, co-advised with Paulo Borba)
  • As of October 2023: Software Engineer @ Meta
• Fernando Chaves Benbassat. Safe evolution of product lines: Feature extraction scenarios. (MSc 2017, co-advised with Paulo Borba)
  • As of October 2023: 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 October 2023: Software Engineer @ Brazilian Army