Agnes Schleitzer

Agnes Schleitzer
Agnes Schleitzer
Image: Agnes Schleitzer

Friedrich Schiller University Jena
Institute of Computer Science
Ernst-Abbe-Platz 2
Room: 3330
07743 Jena


Tel.: +49 (0)3641 9-46323
Fax: +49 (0)3641 9-46322


I started to study computer science at the University of Jena in 2012 and completed my Bachelor's degree in 2015 and my Master's degree in 2020 after a parental leave break.
Currently I am working as a PHD student in the field of theoretical computer science at the University of Jena since November 2020.

Research Interests

My main interest is proof complexity in relation to propositional logic and QBF, in a broader sense I am generally interested in computational complexity with all its facets.