About me

I’m a Software Engineer at Maze, building AI agents for cybersecurity. Occasionally, I also collaborate with INESC TEC as an external researcher.

Before that, I was a Senior ML Engineer at Amazon in Madrid, building ML systems to improve customer experiences on Amazon’s shopping website.

I earned my Ph.D. from Instituto Superior Técnico (University of Lisbon) in 2016, under Prof. Luís Rodrigues, focusing on tools for debugging concurrency bugs. During my Ph.D., I interned at Microsoft Research (Redmond) and was a visiting research scholar at Carnegie Mellon University in Prof. Brandon Lucia’s group.