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.|
- Guiding the Evolution of Product-Line ConﬁgurationsSoftware and Systems Modeling (SoSyM), 2022
- A Formal Framework of Software Product Line AnalysesACM Transactions on Software Engineering and Methodology (TOSEM), Apr 2021
- Shipwright: A Human-in-the-Loop System for Dockerfile RepairIn IEEE/ACM International Conference on Software Engineering, May 2021
- Demystifying the Challenges to Formally Specifying API Properties for Runtime VerificationIn IEEE International Conference on Software Testing, Verification and Validation, Apr 2021