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