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.
Eduard is a Ph.D. student in Informatics Engineering at the Faculty of Engineering at the University of Porto (FEUP). He graduated in Information Systems and Computer Engineering at Instituto Superior Técnico (IST). His recent research compares the performance of automated program repair (APR) tools in the context of security. His collaboration with CMU aims at reasoning software security in an automated style.
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.
