tel: +49 (0)3641 946325
I started studying Mathematics at the University of Jena in 2014 and obtained a BSc in 2017.
After that, I continued with a MSc programme in Mathematics at the University of Jena, which I completed 2019.
Since 2019 I am working as a PhD student in Theoretical Computer Science at the University of Jena.
My main research interests are proof complexity, focused on QBF solving and QCDCL, and algebraic proof systems.
In a wider sense I am also intrigued by Cryptology and Coding Theory.
List of downloadable Papers
A list of my publications is to be found here.