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.
- I will be a student TA for the proof theory course in block 4 of 2021
- We have published an extended version of our LFCS 2020 paper in the Journal of Logic and Computation
- I gave a talk about my project with Robert Passmann at the Mathematical Logic seminar of Hamburg Univeristy
- The report of my project with Robert Passmann on Aczel’s type-theoretic interpretation of CZF was published as part of the ILLC technical report series