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
Antonis Skarlatos
Thema: (Informatik)
Hauptbetreuung: Sebastian Forster
Michael Starzinger
Thema: Symbolic Execution (Informatik)
Hauptbetreuung: Christoph Kirsch
Tijn de Vos
Thema: Algorithmische Grafentheorie in verteilten Systemen (Informatik)
Hauptbetreuung: Sebastian Forster
Manuel Widmoser
Thema: Scaling Similarity Queries to Massive Datasets (Informatik)
Hauptbetreuung: Nicolas Augsten