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