I am a professor at the Carlos III University of Madrid in Spain, in the SP group. During 2022-2024, I was a postdoc at the Zuse Institute Berlin (ZIB) in the IOL group, where I worked with Sebastian Pokutta among others. Prior to this, I was a PhD student at the Department of Computer Science at the University of Oxford supervised by Prof. Varun Kanade and Prof. Patrick Rebeschini. I obtained an MSc in Mathematics and Foundations of Computer Science at the University of Oxford and a double Bachelor in Mathematics and in Computer Science at the Complutense University of Madrid.