Interests
  • Formal Verification
  • Software Reliability
Education

  • MSc in Computer Science and Engineering, 2025

    FEUP, University of Porto

  • BSc in Computer Science and Engineering, 2023

    FEUP, University of Porto