Marlene Gründel

I am currently a Master’s student of Computer Science at the University of Jena. Prior to that, I received my Bachelor’s degree in Computer Science from the University of Jena in 2022. In 2023, I was a visiting graduate student at the Simons Institute for the Theory of Computing in Berkeley, where I participated in the programme Satisfiability: Theory, Practice, and BeyondExternal link.

Since 2022, I am receiving funding as part of the Deutschlandstipendium scholarship.

I was awarded the Dean’s Examination Prize for my Bachelor Thesis “Feasible Interpolation as a Lower Bound Technique for Resolution and QBF Proof Systems” at the Faculty Day 2023 de.

Since 2024, I am a member of the prestigious Honours Programme de for research-oriented students, awarded by the University of Jena. In my research project, I am studying randomized hard QBFs.

Since 2022, I am working as a research assistant of Prof. Olaf Beyerdorff.

I am part of the local organizing committee for STACS 2025External link, which will be held in Jena in March 2025.

Moreover, I regularly supervise lectures as a teaching assistant. So far, I have assisted in Discrete Structures I and II, Automata and Computability, Linear Algebra and Logical Systems.

A list of my publications can be found hereExternal link.