DSP-Kolleg MARS – Models, Algorithms, Computer and Systems
Fellows
Sebastian Arming
Topic: Parametric Markov Models (Computer Science)
Supervisor: Ana Sokolova
Patrick Bammer
Topic: Error Estimates for hp-FEM in Elastoplasticity (Mathematics)
Supervisor: Andreas Schröder
Tobias Hilgart
Topic: Effektive Methoden zur Lösung von exponentiell para-metrisierten Diophantischen Gleichungen (Mathematics)
Supervisor: Volker Ziegler
Miriam Schönauer
Topic: Error control in finite element methods for variational inequalities (Mathematics)
Supervisor: Andreas Schröder
Michael Starzinger
Topic: Symbolic Execution (Computer Science)
Supervisor: Christoph Kirsch
Ingrid Vukusic
Topic: Application of effective and ineffective methods to Dio-phantine equations involving linear recurrence sequences (Mathematics)
Supervisor: Volker Ziegler
Manuel Windmoser
Topic: Scaling Similarity Queries to Massive Datasets (Computer Science)
Supervisor: Nicolas Augsten