Education

• Ph.D. in Computer Science, Técnico Lisboa, 2021-present
• M.S. in Computer Science, Técnico Lisboa, 2018-2020
• B.S. in Computer Science, Técnico Lisboa, 2015-2018

Work experience

• Fall 2019 - Present: Early Stage Researcher at INESC-ID
• Fall 2019 - Fall 2020: Research Intern at OutSystems

TA

• Spring 2024 Advanced Programming
• Fall 2023: Algorithms For Computational Logic
• Spring 2022: Compilers
• Fall 2021: Algorithms For Computational Logic
• Spring 2021: Compilers
• Fall 2020: Artificial Intelligence