Leopoldo Teixeira

Hi there! I am an associate 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).
news
Aug 4, 2025 | Evaluating the Effectiveness of LLMs in Multimodal GUI Test Generation for Android Mobile Applications accepted at SAST’25. |
---|---|
Jul 28, 2025 | An Interpreter-based Framework for Static Analysis of Variability in Space and Time accepted at SBLP’25. |
May 20, 2025 | Invited to be part of the program committee of the NIER track of ICSE 2026. |
May 1, 2025 | The website for the 28th Brazilian Symposium on Formal Methods is online! |
Apr 29, 2025 | Attending ICSE 2025 at Ottawa. |