Leopoldo Teixeira

Leopoldo Teixeira is an Assistant Professor at the Informatics Center (CIn) of the Federal University of Pernambuco (UFPE) in Brazil. Since May 2023, he has served as Head of Graduate Studies at his department. He leads the Software Testing and Analysis Research group and is affiliated with the Software Productivity Group and CIn-Trust.

Dr. Teixeira was a CAPES-Alexander von Humboldt Experienced Research Fellow at the Chair of Software Engineering of Universität des Saarlandes in 2022, where he collaborated with Sven Apel on variability analysis over time and space.

His educational background includes:

• PhD in Computer Science from Federal University of Pernambuco (CIn-UFPE, 2014), supervised by Paulo Borba and Rohit Gheyi
• MSc in Computer Science from CIn-UFPE (2010)
• Bachelor's degree in Computer Engineering from the Polytechnic School of Pernambuco (2007)

Dr. Teixeira's research focuses on providing strong foundations for improving software quality and productivity. His work spans software product lines, configurable systems, refactoring, formal methods, software testing, and mobile development. He has made significant contributions to understanding challenges in highly configurable systems and software evolution, with particular emphasis on theoretical rigor combined with practical applicability.

His publication record demonstrates expertise across software testing methodologies, analysis of configurable systems, and formal verification techniques. Recent work addresses pressing challenges in containerization practices (Dockerfile repair), test reliability (flaky test detection), and formal specification of API properties, showing his ability to tackle both theoretical and practical aspects of software engineering.

Dr. Teixeira has received recognition through the CAPES-Alexander von Humboldt Experienced Research Fellowship.

• CAPES-Alexander von Humboldt Experienced Research Fellow (2022)

Dr. Teixeira actively contributes to the software engineering community through extensive service on program committees of major conferences including ICSE, FSE, ASE, and SPLASH across multiple years. In 2024, he served as Conference and Local Organization Chair for FSE. He mentors students through his leadership of the Software Testing and Analysis Research group at CIn-UFPE.

His laboratory work focuses on software testing and analysis, particularly in the context of configurable systems and software product lines. The research group investigates practical approaches to improve software quality through better testing methodologies, analysis techniques, and formal verification approaches for complex software systems.