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