Hi there! I am an assistant professor at the Informatics Center (CIn) of the Federal University of Pernambuco, where I lead the Software Testing and Analysis Research group. I am also affiliated with the Software Productivity Group and CIn-Trust. Since May/2023, I am also head of graduate studies at our department.

In 2022, I was a CAPES-Alexander von Humboldt Experienced Research Fellow at the Chair of Software Engineering of Universität des Saarlandes, working with Sven Apel on variability analysis over time and space.

My research interests involve Software Engineering, with a focus on providing strong foundations for improving software quality and productivity. In particular, I have worked on software product lines and configurable systems, refactoring, formal methods, software testing, and mobile development.

I obtained my PhD in Computer Science from the Federal University of Pernambuco (CIn-UFPE) in 2014, under the supervision of Paulo Borba and Rohit Gheyi. During my PhD, I spent a winter term at the University of Waterloo, working with Krzysztof Czarnecki. My MSc degree in Computer Science was also obtained at CIn-UFPE (2010), and prior to that I obtained a bachelor’s degree in Computer Engineering from the Polytechnic School of Pernambuco (2007).


Nov 10, 2023 Invited to be part of the program committee of ICSE 2025.
Jun 5, 2023 Towards a better understanding of the mechanics of refactoring detection tools was accepted at IST.
May 1, 2023 I am now the Head of Graduate Studies at CIn-UFPE.
Feb 25, 2023 Lucas and Mateus were born today, and now I am a proud (and tired) father of 4 children!
Feb 1, 2023 Back in Brazil@CIn-UFPE after a year in Germany.

selected publications

  1. Guiding the Evolution of Product-Line Configurations
    Michael Nieke, Gabriela SampaioThomas Thüm, and 3 more authors
    Software and Systems Modeling (SoSyM), 2022
  2. A Formal Framework of Software Product Line Analyses
    Thiago Castro, Leopoldo TeixeiraVander Alves, and 3 more authors
    ACM Transactions on Software Engineering and Methodology (TOSEM), Apr 2021
  3. Shipwright: A Human-in-the-Loop System for Dockerfile Repair
    Jordan HenkelDenini SilvaLeopoldo Teixeira, and 2 more authors
    In IEEE/ACM International Conference on Software Engineering, May 2021
  4. Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification
    Leopoldo TeixeiraBreno MirandaHenrique Rebelo, and 1 more author
    In IEEE International Conference on Software Testing, Verification and Validation, Apr 2021