Postdoctoral Researcher at the IMDEA Software Institute - Madrid, Spain.

I work at IMDEA with Alessandra Gorla on software engineering research. My main research interests are in the area of Software Testing and Analysis, with the goal of improving software reliability and quality. Most of my publications and tools are available online.

Previously, I obtained my Ph.D. in Computer Science at FAMAF, where I was advised by Professor Nazareno Aguirre. My research focus was the automated generation of formal software specifications, using search-based and learning-based techniques.