Übersicht

Big Data Algorithms

Wir betreiben Grundlagenforschung im Design und der Analyse von priorfreien Algorithmen, mit einem starken Fokus auf theoretische und mathematische Aspekte. Angesichts des Endes von Moore’s Law und der zunehmenden Verbreitung von “Big” und “Fast” Data liegt unser Hauptaugenmerk auf verteilten und dynamischen Algorithmen. Unsere besondere Expertise liegt im Bereich der Graphen, die ein abstraktes Modell für verschiedene Netzwerke darstellen.

Computational Geometry

Das Computational Geometry and Applications Lab an der Abteilung für Informatik der Universität Salzburg wird von Martin Held geleitet. Diese Seite enthält Verweise auf Umfragen und einige der Forschungsthemen, an denen meine Studierenden und ich in den letzten Jahren gearbeitet haben. Meistens sind nur anwendungsorientierte Arbeiten mit geometrischem Schwerpunkt enthalten. Weitere theoretische Arbeiten zu Algorithmen und Datenstrukturen finden sich in meinen wissenschaftlichen Publikationen.

Computational Systems

Wir sind die Computational Systems Group der Universität Salzburg, Österreich. Unsere Arbeit befasst sich mit der ingenieurmäßigen Entwicklung von Systemsoftware und der Frage, wie dieses Wissen genutzt werden kann, um Informatik auf eine Weise zu unterrichten, die letztendlich mehr Menschen den Zugang zur Informatik erleichtert.

In unseren Kursen verwenden wir Selfie, ein pädagogisches System mit einem selbstkompilierenden C-Compiler, einem selbstausführenden RISC-V-Emulator und einem selbsthostenden RISC-V-Hypervisor.

Datenbanksysteme

Die Forschungsgruppe Datenbanken der Universität Salzburg befasst sich mit allen Aspekten des Datenmanagements. Wir untersuchen Anwendungen, die stark auf Daten basieren, aber aufgrund ihrer Komplexität nicht mit aktuellen Systemen arbeiten können. Unser Fokus liegt auf Abfragen über komplexe Objekte und große Datenmengen, Datenbereinigung und -integration, verteiltem Datenmanagement und numerischen Berechnungen in Datenbanken.

Effiziente Algorithmen

Unsere Forschungsgruppe konzentriert sich auf algorithmische Aspekte moderner Rechenmodelle, insbesondere paralleles und verteiltes Rechnen. Wir arbeiten an der Schnittstelle zwischen diskreter Mathematik, theoretischer Informatik und parallelem Rechnen. Unser Ziel ist es, effiziente Lösungen für Probleme wie Informationsverbreitung, Netzwerkkommunikation und Lastverteilung zu entwickeln.

Software Engineering

Unsere Forschung konzentriert sich auf die Konstruktion von “schlanker” Software. Dies umfasst alle Aspekte der Softwareentwicklung, insbesondere Design, Implementierung und Wiederverwendung. Derzeit arbeiten wir an sogenannten Cyber-Physical Systems mit einem besonderen Fokus auf Systeme, die zur Reduzierung von Treibhausgasemissionen beitragen, wie beispielsweise autonome Züge auf offenen Schienen.