MARS

Models, Algorithms, Computers and Systems

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.

  • Doctoral Candidates

    Anna Bolotina
    Topic: Abstract Symbolic Execution (Computer Science)
    Supervisor: Christoph Kirsch

    Mara Grilnberger
    Topic: Techniques from Graph Algorithms for Matroid Problems (Informatik)
    Supervisor: Sebastian Forster

    Martin Grösbacher
    Topic: Implementierungen und experimentelle Evaluierungen dynamischer Graphenalgorithmen (Informatik)
    Supervisor: Sebastian Forster

    Tobias Hochreiter
    Topic: (Mathematik)
    Supervisor: Simon Blatt
    association planned for SS 2026

    Stephan Höllbacher
    Topic: (Mathematik)
    Supervisor: Simon Blatt
    association planned for SS 2026

    Bianca Löhnert
    Topic: Ontology-Based Data Access for Property Graphs (Computer Science)
    Supervisor: Nikolaus Augsten

    Carina Premstaller
    Topic: Effective Irrationality Measures, Thue Equations and Applications (Mathematics)
    Supervisor: Volker Ziegler

    Michael Scheck
    Topic: New approaches to hp finite element methods (Mathematics)
    Supervisor: Andreas Schröder

    Daniel Schmitt
    Topic: Efficient, Extensible and Robust Similary Queries (Computer Science)
    Supervisor: Nikolaus Augsten

    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

    Calvin Stanko
    Topic: Degenerate and fractional partial differential equations (Mathematics)
    Supervisor: Verena Bögelein

    Stefanie Steinmaßl
    Topic: Comparison results in adapted Wasserstein distance (Mathematik)
    Supervisor: Sebastian Fuchs

    Michael Strunk
    Topic: Doubly nonlinear and widely degenerate partial differential equations (Mathematics)
    Supervisor: Verena Vögelein



    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

    Tobias Hilgart
    Topic: Resolution of exponentially parametrised Thue equations (Mathematics)
    Supervisor: Volker Ziegler
    Doctoral Defense: 06.03.2025

    Florian Höller
    Topic: Experimenteller Mathematikunterricht – Kreative und interaktive Unterrichtsgestaltung durch handlungsorientierte und technologiegestützte Experimente
    Supervisor: Andreas Schröder

    Rudolf Rainer
    Topic: Stability of doubly nonlinear parabolic equations
    Supervisor: Verena Bögelein
    Doctoral Defense: 2022

    Antonis Skarlatos
    Topic: Dynamic Algorithms for Graph-Theoretical Problems (Computer Science)
    Supervisor: Sebastian Forster
    Doctoral Defense: 2025

    Michael Starzinger
    Topic: Symbolic execution
    Supervisor: Christoph Kirsch

    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

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

  • Doctoral Supervision Team

    Univ.-Prof. Dr. Andreas Schröder (DSP Coordinator)
    Dept. Mathematics

    Dr. Jonathan Ansari
    Dept. Mathematics

    Univ.-Prof. Dr. Nikolaus Augsten 
    Dept. Computer Science

    Assoz.-Prof. Dr. Lothar Banz
    Dept. Mathematics

    Assoc. Prof. Dr. Simon Blatt 
    Dept. Mathematics

    Univ.-Prof. Dr. Verena Bögelein 
    Dept. Mathematics

    Univ.-Prof. Dr. Robert Elsässer 
    Dept. Computer Science

    Assoc. Prof. Dr. Sebastian Forster 
    Dept. Computer Science

    Univ.-Prof. Dr. Clemens Fuchs 
    Dept. Mathematics

    Univ.-Prof. Dr. Christoph Kirsch 
    Dept. Computer Science

    Dr. Daniel Krenn 
    Dept. Mathematics

    Ass. Prof. Dr. Ana Sokolova 
    Dept. Computer Science

    Ass. Prof. Dr. Volker Ziegler 
    Dept. Mathematics

  • 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)

News

Activities of the College

mehr
News