Biography

I am a Postdoctoral Research Associate at the University of Oxford, collaborating with Professor Marta Kwiatkowska on the FUN2MODEL ERC project.

I hold a Ph.D. in Computer Science from Instituto Superior Técnico (IST), Universidade de Lisboa (UL). My Ph.D. was conducted in collaboration with the Czech Technical University (CTU) in Prague, with research hosted at INESC-ID, IST in Lisbon, and CIIRC, CTU in Prague. I had the privilege of being advised by Vasco Manquinho at INESC-ID and Mikoláš Janota at CIIRC. Additionally, I was a Junior Researcher in the Automated Reasoning and Software Reliability (ARSR) group at INESC-ID. For five years, I contributed to teaching as an Invited Teaching Assistant for the Computer Science Department at IST-UL.

My academic background includes a BSc and MSc in Information Systems and Computer Engineering from IST-UL. During the final year of my MSc, I worked as a Research Assistant at Carnegie Mellon University (CMU), collaborating with Ruben Martins. I also gained industry experience as a Research Intern at OutSystems, a leading Portuguese software company.

My work has been recognised with several awards, including the Vencer o Adamastor 2025 prize, which acknowledges innovative contributions by young scientists in Portugal; the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2021; and the Excellence in Teaching IST Award in 2021, and 2024.