I have a degree in Mathematics and Computer Science from the Polytechnic University of Madrid, where I am currently pursuing a PhD in Software, Systems, and Computing.
Since 2021, I have been conducting my research at the IMDEA Software Institute, within the CLIP group (Computational Logic, Languages, Implementation, and Parallelism Laboratory), focusing on formal verification and testing of programs, especially in logical programming environments. In particular, my doctoral thesis deals with how to improve and validate complex tools such as static analyzers.
Outside of academia, I love running, particularly participating in university cross-country races, and I am also a big Formula 1 fan.