Marlene Gründel
Graduate Student,
University of Jena (FSU)
Marlene Gründel is a master's student at Friedrich-Schiller University of Jena. Under the supervision of Olaf Beyersdorff, she works as a research assistant for proof complexity, especially for QBFs.