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.