I’m passionate about both sports and ideas, whether it’s playing tennis or watching anime with friends, diving into cybersecurity challenges, or exploring big philosophical questions. I find energy in sports, curiosity, and good company. I’ve always dreamed of going to America, inspired by the movies I grew up with.
Master’s in Computer Science with specializations in Cybersecurity and Distributed Systems from Instituto Superior Técnico (University of Lisbon). Now pursuing a dual-degree Ph.D. in Electrical and Computer Engineering at CMU and IST, focusing on program analysis and software security.
I’m an incoming Computer Science PhD student at CMU and Instituto Superior Técnico (IST), co-advised by José Fragoso Santos, Limin Jia and Pedro Adão. I received my BSc (2021) and MSc (2023) in Computer Science and Engineering from IST. My research interests lie primarily in the areas of software security and formal methods.
I am a PhD Student in Computer Science and Engineering at Instituto Superior Técnico (Técnico), where I am very fortunate to be advised by Prof. José Fragoso Santos and Prof. Nuno Santos. I am also a junior researcher at INESC-ID, working on applying software verification and testing tools to support computer science students in their learning process. My research interests are mainly in programming languages, software verification and validation, formal methods, and cybersecurity. Previously, I completed my MSc in Computer Science and Engineering at Tecnico. My dissertation, entitled Robust Symbolic Execution for WebAssembly, was supervised by Prof. José Fragoso Santos and Prof. Nuno Santos and was defended on December 2022.
