DSP-Kolleg MARS – Modelle, Algorithmen, Rechner und Systeme
Fellows
Sebastian Arming
Thema: Parametric Markov Models (Informatik)
Hauptbetreuung: Ana Sokolova
Patrick Bammer
Thema: Error Estimates for hp-FEM in Elastoplasticity (Mathematik)
Hauptbetreuung: Andreas Schröder
Tobias Hilgart
Thema: Effektive Methoden zur Lösung von exponentiell para-metrisierten Diophantischen Gleichungen (Mathematik)
Hauptbetreung: Volker Ziegler
Miriam Schönauer
Thema: Fehlerkontrollierte Finite Elemente Methoden für Variationsungleichungen (Mathematik)
Hauptbetreung: Andreas Schröder
Michael Starzinger
Thema: Symbolic Execution (Informatik)
Hauptbetreuung: Christoph Kirsch
Ingrid Vukusic
Thema: Application of effective and ineffective methods to Dio-phantine equations involving linear recurrence sequences (Mathematik)
Hauptbetreuung: Volker Ziegler
Manuel Windmoser
Thema: Scaling Similarity Queries to Massive Datasets (Informatik)
Hauptbetreuung: Nicolas Augsten