education Education
PhD Candidate in Computer Science Exp. September 2026 Instituto Superior Técnico, University of Lisbon & School of Computer Science, Carnegie Mellon University — Lisbon, Portugal; Pittsburgh, USA
Dual degree program jointly conferred by IST and CMU
MSc in Computer Science and Engineering September 2023 - November 2025 Instituto Superior Técnico, University of Lisbon — Lisbon, Portugal
Double specialization in Algorithms and Cybersecurity Worked under the supervision of Prof. Pedro Adão Dissertation: “Controlling Path Explosion in x86 Symbolic Execution” (19/20) Final grade: 18/20
Erasmus+ February - July 2024 Akademia Górniczo-Hutnicza (AGH University of Kraków) — Kraków, Poland
Exchange semester under the Erasmus+ program Completed certification for A1 level in Polish
BEng in Informatics Engineering September 2020 - July 2023 Faculty of Sciences, University of Lisbon — Lisbon, Portugal
Took two extra courses on programming competitions Final grade: 17/20
other-academic Other Academic Activities
BIP Unite short course in Cybersecurity October - November 2025 Université Grenoble Alpes — Grenoble, France
Participated with peers on a case study about cache template attacks Worked under the supervision of Prof. Daniel Gruß Grade: A
BIP Unite short course in Artificial Intelligence September - October 2024 Université Grenoble Alpes — Grenoble, France
Worked on a case study on sustainable AI Grade: 19/20
index.html