Ph.D. Candidate 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).