Education

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

Work experience

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

TA

• Fall 2020: Artificial Intelligence
• Spring 2021: Compilers
• Fall 2021: Algorithms For Computational Logic
• Spring 2022: Compilers