Biography

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
  Algorithms and Complexity Group, TU Wien, Vienna, Austria
  Since June 2025
  supervised by Prof. Robert Ganian
• M.Sc. in Computer Science
  Friedrich Schiller University Jena, Germany
  September 2022 – March 2025
  Thesis: On the Relation between Descriptive and Parameterized Complexity in Graph Modification Problems,
  supervised by Prof. Christian Komusiewicz
• Visiting Graduate Student
  Simons Institute for the Theory of Computing, Berkeley, US
  March 2023 – May 2023
  Program: Satisfiability: Theory, Practice, and Beyond
• B.Sc. in Computer Science
  Friedrich Schiller University Jena, Germany
  October 2019 – August 2022
  Thesis: Feasible Interpolation as a Lower Bound Technique for Resolution and QBF Proof Systems,
  supervised by Prof. Olaf Beyersdorff