About Me

I am currently pursuing a Master’s degree in Logic at the Institute for Logic, Language and Computation of the University of Amsterdam with a focus on mathematics. Before this, I obtained a Bachelor’s degree in Computer Science from Saarland University in Germany. My interests lie in the exploration of reasonably strong foundational systems (i.e. at least an arithmetic) by means of proof theory and the methods of (constructive) reverse mathematics. I am also very fond of constructive type theory and non-economic game theory.

At the moment, I am researching for my Master’s thesis on the proof theory of cyclic proof systems together with Bahareh Afshari.

Outside of academics pursuits, I am an avid athlete. As it stands, I mostly climb and boulder (to the extent permissible under the various lockdowns). I also enjoy hiking, running, road cycling and swimming.