Students

Student theses I (co-)supervise.

I (co-)supervise the following student theses:

PhD Theses

  • Rajas K. Dalvi: (PhD in within the QAE project scope) -- (2026 – ...; Co-supervision)
  • Vaibhav Bamnote: (PhD in within the DarTwin project scope) -- (2026 – ...; Co-supervision)
  • Christoph Pfeuffer: (PhD in within the DarTwin project scope) -- (2026 – ...; Co-supervision)
  • Christoph Stein: Intelligent Quantum Circuit Synthesis (Working Title) (2024 – ...; Co-supervision)
  • Daniel Lehner: A Framework for Model-Driven Digital Twin Engineering (2022 – 2025; Co-supervision)
  • Felix Gemeinhardt: Model-Driven Quantum Circuit Optimization (2022 – 2024; Co-supervision)
  • Martin Eisenberg: Search-based Model Transformation (Working Title) (2022 – ...; Co-supervision)

Master's Theses

  • Viktoria Jechsmayr: Design und empirische Evaluation eineskontextangereicherten Anomaly-Detection-Systems für IoT-Zeitreihendaten (2026 – ...; Co-supervision)
  • Sarah Maria Mayrhofer: Using LLMs for Web Accessibility Improvement (2026 – ...; Co-supervision)
  • Felix Nährer: Agent-Based Derivation of Digital Twins of Physical Systems through Active Experiments (2026 – ...; Co-supervision)
  • Albian Cahani: Evaluation Practices in LLM-Based and Agentic Software Engineering Research: A Systematic Review (2026 – ...; Co-supervision)
  • Markus Mülleder: A DT-based Resilience Architecture (2025 – ...; Co-supervision)
  • Simon Schwantler: Developing a Natural Language Interface for a UML Editor (2024 – 2025; Co-supervision with Dominik Bork, TU Wien)
  • Jakob Froschauer: Feature Model assisted scenario generation for automated driving systems (2023 – 2025; Co-supervision)
  • Alexander Famler: Predicting the real estate market based on online marketplace search behaviour (2023 – 2025; Co-supervision)
  • Patrick Amering: Using of digital twins to optimise urban delivery logistics (2023 – 2025; Co-supervision)

Bachelor's Theses

  • Stephan Rechberger: Auswahl & Bewertung automatisierter UI-Testframeworks für industrielle SCADA-Webanwendungen (2026)
  • Sivan Mohammed: Automatisierte Analyse von Fahrszenarien (2026)
  • Maximilian Kurz: Python-native Bibliothek für die Asset Administration Shell: Konzeption und Implementierung einer pythonischen API (2026)
  • Thomas Kefeder: Automated Identification of Secure Library Alternatives (2026)
  • Fabian Jäger: Propose, Measure, Verify: LLMs in Evaluation Loops for Problems with Verifiable Outcomes (2026)
  • Robin William Kreindl: Studie zur Digitalisierung und Automatisierung von Versuchsfahrten (2025)
  • Daniel Aistleitner: CORAG - Context-based Offer Information Using Retrieval-Augmented Generation (2025)
  • Alexander Rohrauer: MDE YellowPages (2024)
  • Lukas Wurzer: Digital Twin of a 3D Printer (2024)
  • Felix Nährer: AAS für Autonome Fahrzeuge (2024)