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.
Rafael Gonçalves
