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

Previously, I graduated cum laude 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 and its interplay with logic. I am also intermittently interested in the philosophy of mathematics and mathematical practice. You can read more about me here.