About me

I am a doctoral student in theoretical computer science at Lund University and University of Copenhagen supervised by Susanna F. de Rezende and co-supervised by Jakob Nordström. My research is focused on computational complexity theory and its interplay with logic, with a strong focus on proof complexity. I am funded by the Wallenberg AI, Autonomous Systems and Software (WASP) program.

Before starting my PhD in 2022, I completed the Master of Logic at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam, where I graduated cum laude with a thesis on the relation between parameterized complexity and knowledge compilation, supervised by Ronald de Haan and Hubie Chen. I was partially funded by the E. W. Beth Foundation.

In 2021, I worked as a pre-doctoral researcher at the Logic and Reasoning (LoRea) research group of the University of the Basque Country under the supervision of Montserrat Hermo, studying the computational complexity of realizability and synthesis of temporal specifications. I received my BSc in Computer Science from the University of the Basque Country in San Sebastián, Spain, in 2020. During my undergraduate studies, I spent an academic year at KU Leuven in Belgium, where I worked on the empirical proof complexity of quantified Boolean formulas.

I am also interested in the philosophy of mathematics and mathematical practice. On this topic, I founded and co-organised the Φ-Math group in philosophy of mathematics at the ILLC. In the past I have also been interested in game studies and narrative, particularly in video games, and have written on these topics for several Spanish publications. Some of those writings can be found here.

A complete collection of my academic writings can be found here. My extended CV in PDF can be found here.

▷ Publications
▷ About me