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.
I graduated in Instituto Superior Técnico, where I have joined the local Capture-The-Flag (CTF) team called STT. Ever since, I have participated in many security competitions and have been dedicated to the field of computer security, first focused on cryptography and now on web analysis.
