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

Antonis Skarlatos
Topic: (Computer Science)
Supervisor: Sebastian Forster

Michael Starzinger
Topic: Symbolic Execution (Computer Science)
Supervisor: Christoph Kirsch

Tijn de Vos
Topic: Algorithmic Graph Theory in Distributed Models (Computer Science)
Supervisor: Sebastian Forster

Manuel Widmoser
Topic: Scaling Similarity Queries to Massive Datasets (Computer Science)
Supervisor: Nicolas Augsten