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