Agnes Schleitzer

Agnes Schleitzer

Image: Agnes Schleitzer


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

E-Mail: agnes.schleitzer@uni-jena.de

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

Biography

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.