I am a PhD student at FAU Erlangen-Nürnberg, currently involved in the VoLL-KI project.

I studied mathematics with a focus on mathematical logic and with philosophy as a minor subject. In 2020 I completed my Bachelor of Science at the University of Bonn with a thesis on the natural language proof assistant Naproche and in 2022 I achieved my Master of Science at TU Darmstadt with a thesis on forcing in the context of topos theory.

I am interested in set theory, type theory and category theory, especially regarding their role in the foundations of mathematics and the development of proof assistants.

Email: firstname + “.” + lastname.replace(“ü”,“ue”) + “@” + “fau.de”