MARS
Models, Algorithms, Computers and Systems
Abstract
Modern high tech research in science and technology requires to a great extent an interdisciplinary approach. This applies particularly to wide areas of the methodological sciences mathematics and informatics, where generally one or more aspects of a chain of consecutive closely interlocked fields of research are considered. These start with a mathematical model, continue with algorithmic problems and finally cover aspects of the implementation on computers or high performance computing environments and therefore also issues on the efficiency of computer systems.The objective of MARS is to educate doctoral students in the research fields models, algorithms, computers and systems and also to achieve new insights and research findings especially with regard to the inter-dependency of these fields of research. The focus will be on important topics relevant for the Salzburg research site. MARS fields of research (see below) form particularly from a methodological point a cohesive and closely linked line of research and cover a wide spectrum of scientific interests. The members of the support team from the departments of mathematics and computer science are without exception methodical and due to their fundamental formal science approach are able to work closely together on the research proposal of the doctoral program.Joint activities constitute the structured doctoral program in MARS. These include seminars with external guest speakers, one day workshops with external guests and multi day retreats away from the university, as well as summer schools on the topics of MARS.
- MARS Models. The focus is on two model classes: analytical models, which are described by partial differential equations and the problems of variational calculus or its discretization in terms of the numerical solution process, and discrete models, which are presented in form of graphs, algebraic structures or difference equations.
- MARS Algorithms. The investigation of numerical algorithms for the solution of discretization of partial differential equations, and algorithms for the solution of discrete and integer problems, in particular algorithms for large parallel and distributed dynamic systems.
- MARS Computers. The main focus is on strategies for the parallel implementation of algorithms on modern computers or high performance computing environments, in particular on the systems set up for the Salzburg University computing environment Hochleistungsrechnen PLUS.
- MARS Systems. The aim in the MARS systems field of research is to implement scalability regarding typical MARS specific applications from MARS models, MARS computers and MARS algorithms for increasingly powerful hardware.
-
Fellows
Anna Bolotina
Topic: Abstract Symbolic Execution (Computer Science)
Supervisor: Christoph Kirsch
Tobias Hilgart
Topic: Effektive Methoden zur Lösung von exponentiell para-metrisierten Diophantischen Gleichungen (Mathematics)
Supervisor: Volker Ziegler
Bianca Löhnert
Topic: (Computer Science)
Supervisor: Nikolaus Augsten
Carina Premstaller
Topic: (Mathematics)
Supervisor: Volker Ziegler
Miriam Schönauer
Topic: Error control in finite element methods for variational inequalities (Mathematics)
Supervisor: Andreas Schröder
Jonas Sieberer
Topic: Optimisation of the parallel finite volume method for use in the CFD simulation software OpenFAOM (Computer Science)
Supervisor: Robert Elsässer
Daniel Schmitt
Topic: (Computer Science)
Supervisor: Nikolaus Augsten
Antonis Skarlatos
Topic: Dynamic Algorithms for Graph-Theoretical Problems (Computer Science)
Supervisor: Sebastian Forster
Calvin Stanko
Topic: (Mathematics)
Supervisor: Verena Bögelein
Michael Strunk
Topic: Doubly nonlinear and widely degenerate partial differential equations (Mathematics)
Supervisor: Verena Vögelein
Manuel Widmoser
Topic: Scaling Similarity Queries to Massive Datasets (Computer Science)
Supervisor: Nicolas Augsten
Former Fellows:
Sebastian Arming
Topic: Parametric Markov Models
Supervisor: Ana Sokolova
Patrick Bammer
Topic: Error Estimates for hp-FEM in Elastoplasticity (Mathematics)
Supervisor: Andreas Schröder
Doctoral Defense: 19.02.2024
Fabian Bäuerlein
Topic: Regularity for (strongly) singular or degenerate parabolic systems (Mathematics)
Supervisor: Verena Bögelein
Doctoral Defense: 19.12.2024
Tijn de Vos
Topic: Algorithmic Graph Theory in Distributed Models (Computer Science)
Supervisor: Sebastian Forster
Doctoral Defense: 25.11.2024
Ingrid Vukusic
Topic: Application of effective and ineffective methods to Dio-phantine equations involving linear recurrence sequences (Mathematics)
Supervisor: Volker Ziegler
Doctoral viva: 23.03.2023 -
Faculty
Univ.-Prof. Dr. Andreas Schröder (DSP Coordinator)
Dept. Mathematics
Univ.-Prof. Dr. Nikolaus Augsten (Faculty Member)
Dept. Computer Science
Assoc. Prof. Dr. Simon Blatt (Faculty Member)
Dept. Mathematics
Univ.-Prof. Dr. Verena Bögelein (Faculty Member)
Dept. Mathematics
Univ.-Prof. Dr. Robert Elsässer (Faculty Member)
Dept. Computer Science
Assoc. Prof. Dr. Sebastian Forster (Faculty Member)
Dept. Computer Science
Univ.-Prof. Dr. Clemens Fuchs (Faculty Member)
Dept. Mathematics
Univ.-Prof. Dr. Christoph Kirsch (Faculty Member)
Dept. Computer Science
Dr. Daniel Krenn (Faculty Member)
Dept. Mathematics
Ass. Prof. Dr. Ana Sokolova (Faculty Member)
Dept. Computer Science
Ass. Prof. Dr. Volker Ziegler (Faculty Member)
Dept. Mathematics
-
DSP Board of Experts
Prof. Dr. Andre Brinkmann Johannes Guttenberg University (JGU) Mainz / Data Center
Prof. Dr. Frank Duzaar Friedrich-Alexander-University Erlangen-Nürnberg (FAU)
Prof. Dr. Alfons Kemper Technical University of Munich (TUM)
Univ.-Prof. Dr. Ulrich Langer Johannes Kepler University Linz (JKU)
Univ.-Prof. Dr. Robert Tichy Graz University of Technology (TU)
