Interests
  • Formal Verification
  • Software Reliability
Education
  • MSc in Electrical and Computers Engineering, 2021

    FEUP, University of Porto

  • BSc in Electronic and Computer Engineering, 2019

    FEUP, University of Porto

Latest