Interests
  • Formal Verification
  • Software Reliability
Education

  • MSc in Computer Science and Engineering, 2022

    FEUP, University of Porto

  • BSc in Computer Science and Engineering, 2020

    FEUP, University of Porto