I am a Researcher at Imdea-Software Research, in Madrid Spain
(more).
My area of interest is tools and techniques for understanding the behavior of the program heap (with the goal of supporting both automated tools and end developers directly). While my research to date has focused on static analysis techniques, I am interested in dynamic approaches as well.