Experience

  1. MSCA COFUND Postdoctoral Fellow

    🇪🇸 Instituto de Investigación en Inteligencia Artificial (IIIA), Consejo Superior de Investigaciones Científicas (CSIC), Barcelona, Spain 🇪🇸
    I am a Marie Skłodowska-Curie COFUND Postdoctoral Fellow at Artificial Intelligence Research Centre (IIIA), Spanish National Research Council (CSIC), collaborating with Dr. Felip Manyà at IIIA-CSIC and Dr. Guillem Alenyà at IRI-CSIC-UPC on the ALLIES research project.

  2. Visiting Researcher

    🇬🇧 Department of Computer Science, University of Oxford, UK 🇬🇧
    I am a visiting researcher working with Professor Marta Kwiatkowska.

  3. Postdoctoral Research Associate

    🇬🇧 Department of Computer Science, University of Oxford, UK 🇬🇧
    I was a Postdoctoral Researcher in the Department of Computer Science at University of Oxford, working with Professor Marta Kwiatkowska on the FUN2MODEL ERC project (Oct. 2019 – Oct. 2025).

  4. Visiting Doctoral Researcher

    🇨🇿 CIIRC, Czech Technical University in Prague, Czechia 🇨🇿

    I was a visiting PhD student at CIIRC for several research stays during my PhD, as it served as one of my host institutions.

    Research stays:

    • June – July 2024, under an ELISE Mobility Grant
    • February – April 2023
    • March – August 2022

    Research Groups: Formal Methods Group and Automated Reasoning Group.

  5. Visiting Doctoral Researcher

    🇺🇸 Carnegie Mellon University, School of Computer Science, USA 🇺🇸
    I spent a few weeks as a visiting doctoral researcher at CMU with Professor Ruben Martins, where I worked on partitioning MaxSAT formulae.

  6. Doctoral Researcher

    INESC-ID, Instituto Superior TĂ©cnico, Universidade de Lisboa
    I was a Computer Science PhD candidate at IST, advised by Vasco Manquinho and Mikoláš Janota. My research host institutions were INESC-ID, IST in Lisbon and CIIRC, Czech Technical University in Prague.

  7. Teaching Assistant

    Department of Computer Science and Engineering, Instituto Superior TĂ©cnico, Universidade de Lisboa
    I have served as a TA at Instituto Superior TĂ©cnico for six different courses across the scientific areas of Artificial Intelligence and Programming Methodology.

  8. Junior Intern

    INESC-ID
    I was a Junior Researcher at INESC-ID, working under the supervision of Professors Vasco Manquinho and Ruben Martins.

  9. Research Assistant

    🇺🇸 Carnegie Mellon University, School of Computer Science, USA 🇺🇸
    During my MSc program, I had the opportunity to collaborate with Professor Ruben Martins on my thesis. Our primary focus was on a system called SQUARES, which aims to generate SQL queries by utilizing input-output examples. This falls under the domain of Programming-By-Examples, a subfield of computer science. We developed a novel encoding for programs for Enumeration-based Program Synthesis.

  10. Research Intern

    OutSystems
    During my MSc thesis, I had the privilege of collaborating with OutSystems. My supervisors from OutSystems were Miguel Ventura and Miguel Neves.

  11. Research Intern

    INESC-ID
    In the final year of my MSc, my thesis was supervised by Professor Vasco Manquinho. We developed a novel SQL synthesizer, SQUARES, capable of generating SQL queries using Query Reverse Engineering (QRE), i.e., from input-output tables. QRE is a subfield of Program Synthesis whose goal is to generate programs that satisfy a given high-level specification.

Education

  1. PhD in Computer Science

    Instituto Superior TĂ©cnico, Universidade de Lisboa, in collaboration with the Czech Technical University (CTU) in Prague

    European Doctorate Programme in collaboration with the 🇨🇿 Czech Technical University (CTU) in Prague, Czechia 🇨🇿.

    Thesis: MENTOR: Automated Feedback for Introductory Programming Exercises.

    My PhD thesis has been recognised with the 🏆 Vencer o Adamastor (VoA) 🏆 award!!

    Advisors: Vasco Manquinho (IST) and Mikoláš Janota (CTU).
    Research Host Institutions: INESC-ID, IST in Lisbon and CIIRC, CTU in Prague.
    Grade: 🏆 Summa cum laude 🏆 (“Aprovado com Distinção e Louvor”).
    Thesis delivery date: 21 October 2024.
    Ph.D. viva voce: 10 April 2025.
    Spanish Ph.D. Equivalence: Degree officially certified by Universitat Politècnica de Catalunya (UPC), Barcelona, July 2025.

    Activities and societies: :

    Read PhD Thesis

  2. MSc in Computer Science and Engineering

    Instituto Superior TĂ©cnico, Universidade de Lisboa

    Specializations: Artificial Intelligence, Algorithms and Programming.

    Thesis: SQUARES: A SQL Synthesizer Using Query Reverse Engineering. Grade: 20/20.
    Advisors: Vasco Manquinho (IST), Miguel Ventura (OutSystems), Ruben Martins (CMU), and Miguel Terra-Neves (OutSystems).

    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 some industry experience as a Research Intern at OutSystems, a leading Portuguese software company.

    Activities and societies:

    • Course Representative, MSc in Computer Science (2017 – 2019).
    • Student Member of the Pedagogical Council of IST (2018 – 2019).
    • Commission for the Quality of Course Units (QUC), Pedagogical Council, IST.
    Read MSc Thesis

  3. BSc in Computer Science and Engineering

    Instituto Superior TĂ©cnico, Universidade de Lisboa

    Activities and societies:

    • Course Representative, BSc in Computer Science (2016 – 2017).
Languages
100%
Portuguese
100%
English
20%
Spanish
10%
Czech