Forschung

Ü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.

Fachdidaktik Informatik

Die Arbeitsgruppe „Fachdidaktik Informatik“ arbeitet an der Schnittstelle zwischen Informatik, Bildung und digitaler Transformation. Die Gruppe ist für die Lehrer*innenausbildung in Informatik und digitaler Bildung zuständig und fördert die Entwicklung digitaler Kompetenzen an Schulen. Die Forschung der Gruppe dient der Weiterentwicklung der MINT-Bildung durch innovative Lehr- und Lernansätze. Ein zentraler Schwerpunkt liegt auf der Frage, wie digitale Kompetenz und Computational Thinking sinnvoll in die pädagogische Praxis integriert werden können, wobei theoretische Perspektiven mit der praktischen Umsetzung kombiniert werden. Durch die Verknüpfung von Forschung, Lehrer*innenausbildung und Lehrplanentwicklung soll zudem eine motivierende Lernumgebung geschaffen und nachhaltige Innovationen in der Informatikausbildung gefördert werden.

  • Website: tba

MATRIS

Die Forschungsgruppe „Mathematics for Testing, Resilience and Information Security“ (MATRIS) befasst sich mit den mathematischen Grundlagen komplexer, resilienter und sicherer Systeme. Im Mittelpunkt ihrer Forschung stehen kombinatorische Designs und deren Anwendungen im Bereich Softwaretests, insbesondere kombinatorische Tests, sowie Methoden zur Verbesserung der Robustheit und Zuverlässigkeit komplexer Systeme. Weitere Arbeiten befassen sich mit Herausforderungen im Disaster Management, symbolischen Berechnungen, Optimierungsalgorithmen und allen mathematischen Aspekten der Informationssicherheit. Durch die Kombination von diskreter Mathematik mit algorithmischen Techniken entwickelt die Gruppe präzise Methoden, die zuverlässige Software, sichere Infrastrukturen und resiliente Systeme unterstützen.

MATRIS, das in seiner dualen Struktur als gemeinsames Forschungslabor der Universität Salzburg und der FH Salzburg fungiert, betreibt hochmoderne Forschung in den folgenden Bereichen:

  1. Komplexe, resiliente und sichere Systeme an der Universität Salzburg, Fachbereich Informatik
  2. Kombinatorische Sicherheitsprüfung an der Fachhochschule Salzburg, Fachbereich IT und Digitalisierung

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.