I am a Research Associate at the Department of Computer Science of the University of Oxford in the Logic and Learning (LOL) group.

I obtained an MSc in Information Systems and Computer Engineering from IST - Universidade de Lisboa in 2012, focussing on intelligent systems, and information technology. Then, I worked in the private sector for some years, as a software developer. Here, I participated in several projects, developing, for example, geographical information systems web services, and thematic websites. In 2021, I obtained a Ph.D. in Computer Science and Engineering from IST - Universidade de Lisboa, being approved with distinction. During my Ph.D., I was awarded with a doctoral grant from Fundação para a Ciência e Tecnologia (FCT). My Ph.D work focused on the application of logic-based approaches and algorithms to revise Boolean logical models of biological regulatory networks.

From 2016 to 2023, I was a researcher at INESC-ID Lisboa in the Automated Reasoning and Software Reliability (ARSR) group. Since 2017, I have been a teaching assistant at IST - Universidade de Lisboa, in the Department of Computer Science, in the courses of Introduction to Algorithms and Data Structures, Analysis and Synthesis of Algorithms, Natural Language, Algorithms for Computational Logic, and Artificial Intelligence, being awarded IST Excellent Teachers 2018/2019, IST Excellent Teachers 2019/2020, and IST Excellent Teachers 2020/2021.