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.