since 2024 | Post-doctoral researcher, TU Wien |
---|---|
2019–2024 | Research assistant and doctoral student, FernUniversität in Hagen Member of the Knowledge-Based Systems Group lead by Prof. Christoph Beierle Associate member of the Artificial Intelligence Group lead by Prof. Matthias Thimm |
2022 | Bachelor of Science (B.Sc.) in Mathematics, TU Dortmund University Bachelors thesis: "Vergleich zweier Algorithmen zur Optimierung binärer Sequenzen mit beschränkter Variation", supervised by Prof. Christoph Buchheim |
2020 | Master of Science (M.Sc.) in Computer Science, TU Dortmund University Masters thesis: "Syntax Splitting für iterierte Kontraktionen", supervised by Prof. Gabriele Kern-Isberner |
2017 | Bachelor of Science (B.Sc.) in Computer Science, TU Dortmund University Bachelors thesis: "Reaktive Antwortmengenprogrammierung – formale Eigenschaften und logistische Anwendung", supervised by Prof. Gabriele Kern-Isberner |