# Noel Arteche

I am a PhD student in theoretical computer science at Lund University in Sweden under the supervision of Susanna F. de Rezende and Jakob Nordström.

Between January and May 2023 I was a visiting graduate student at the Simons Institute for the Theory of Computing at UC Berkeley for the Meta-Complexity program. Previously, I graduated from the Master of Logic at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

I am broadly interested in computational complexity theory, proof complexity and their interplay with logic. I am also intermittently interested in the philosophy of mathematics and mathematical practice. You can read more about me here.

▷ Publications

▷ About me