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: Maria Tulis-Oswald

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