[wpcol_2third]

Marlene Gründel

Address: Marlene Gründel Technische Universität Wien Institute of Logic and Computation Favoritenstraße 9–11, E192-01 1040 Wien Austria Room: HF0413 Phone: +43(1)58801–NULL Email: mgruendel@ac.tuwien.ac.at Web: http://www.ac.tuwien.ac.at/people/mgruendel/

[/wpcol_2third] [wpcol_1third_end]

{.alignnone .size-medium .wp-image-8473 width=“225” height=“300”} [/wpcol_1third_end]   Since June 2025, I am a PhD student in the Cluster of Excellence Bilateral Artificial Intelligence. My supervisor is Prof. Robert Ganian.

Education

  • [PhD student]{style=“text-decoration: underline;”} Algorithms and Complexity Group, TU Wien, Vienna, Austria Since June 2025 supervised by Prof. Robert Ganian
  • [M.Sc. in Computer Science]{style=“text-decoration: underline;”} Friedrich Schiller University Jena, Germany September 2022 [– March ]{dir=“ltr” role=“presentation”}2025 Thesis: On the Relation between Descriptive and Parameterized Complexity in Graph Modification Problems, supervised by Prof. Christian Komusiewicz
  • [Visiting Graduate Student]{style=“text-decoration: underline;”} Simons Institute for the Theory of Computing, Berkeley, US March 2023 [– May ]{dir=“ltr” role=“presentation”}2023 Program: Satisfiability: Theory, Practice, and Beyond
  • [B.Sc. in Computer Science]{style=“text-decoration: underline;”} Friedrich Schiller University Jena, Germany October 2019 [– August ]{dir=“ltr” role=“presentation”}2022 Thesis: Feasible Interpolation as a Lower Bound Technique for Resolution and QBF Proof Systems, supervised by Prof. Olaf Beyersdorff