Ph.D. student in Software Engineering and Security at Instituto Superior Técnico, University of Lisbon and researcher at INESC-ID. Studying automated techniques to detect security software vulnerabilities. I’ve also performed research in software maintainability, software fault localization, and slicing. Member of The Quasar Research Group (TQRG).