Excited to share that three of our papers have been accepted at FLoC 2026, covering automated feedback for Prolog education, data-driven mutation testing for Prolog, and LLM-assisted MaxSAT modelling! 🎉
I have been awarded an ELIAS mobilty grant for a research visit to work with Professor Marta Kwiatkowska at the University of Oxford from May to June 2026! 🎉
Awarded a Marie Skłodowska-Curie Actions (MSCA) Postdoctoral Fellowship for the project Sherlock4Py.
I am thrilled to share that I was the recipient of the INESC-ID Best PhD Student 2025 Award, which recognises my PhD research conducted at INESC-ID (2020 – 2024).
I’m excited to share that our paper on PyVeritas has been accepted to the P-AI-FM-26 Workshop @ AAAI 2026! 📄
Thrilled to share that our paper on MENTOR, a semantic automated program repair (APR) framework that fixes student programs and highlights faulty statements, has been accepted by the Journal of Systems and Software (JSS)! 🎉
I have been awarded an ELSA mobilty grant for a research visit to work with Professor Marta Kwiatkowska at the University of Oxford from October to December 2025! 🎉
I am very happy to share that I have been selected for a MSCA COFUND Postdoctoral Fellowship @ CSIC, Barcelona, Spain. 🎉
I am very happy to share that our paper on program clustering has been accepted at the JSS December 2025!! 🎉
I am thrilled to share that I was the recipient of the Vencer o Adamastor 2025 prize, which acknowledges innovative contributions by young scientists in Portugal. 🎉 🎉
I am extremely happy to share that, I have been awarded my PhD summa cum laude in Computer Science and Engineering!
I am very happy to share that our paper that combines the strengths of both MaxSAT-based fault localisation and Large Language Models, via zero-shot learning, to enhance automated program repair, has been accepted at AAAI 2025!! 🎉
I am thrilled to announce that I will be joining the Department of Computer Science at the University of Oxford as a postdoctoral research associate to work on the FUN2MODEL ERC project under the guidance of Professor Marta Kwiatkowska.