Interests
  • Formal Verification
  • Software Reliability
Education
  • MSc in Computer Science and Engineering, 2026

    FEUP, University of Porto

  • BSc in Computer Science and Engineering, 2024

    FEUP, University of Porto