I am a final-year PhD student in theoretical computer science at Lund University and the University of Copenhagen under the supervision of Susanna F. de Rezende.

My research focuses on computational complexity theory and its interplay with logic, particularly proof complexity and the complexity of proof search.

Between September and December 2026, I will be visiting the Isaac Newton Institute for Mathematical Sciences at the University of Cambridge as part of the Logical Foundations of Complexity Theory research program. During the spring of 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.

You can read more about my background, research interests, and other activities here.

▷ Publications
▷ About me
▷ Others