Forschende

Prof. Zwicknagl erforscht mathematische Modelle für Musterbildung und Mikrostrukturen in komplexen physikalischen Systemen — von magnetischen Materialien über Formgedächtnislegierungen bis zu biologischen Membranen.

Prof. Meyerhenke erforscht die effiziente Verarbeitung und Analyse großer Netzwerk-Datenmengen auf verteilten Computersystemen.

Prof. Kehrer erforscht Debugging und Zuverlässigkeit von verteilten Datenanalyseworkflows — also wie man Fehler in komplexen, über mehrere Systeme verteilten Datenverarbeitungsprozessen systematisch aufspürt und behebt.

PD Dr. Popova-Zeugmann erforscht die formale Modellierung und Verifikation von verteilten, zeitabhängigen Systemen mittels Petri-Netzen — insbesondere wie man durch Prioritäten und Zeitbeschränkungen das Verhalten solcher Netze kontrolliert und stabilisiert.

Prof. Reinefeld forscht an der automatischen Optimierung von Datenanalyseworkflows für heterogene Infrastrukturen.

Fabian Lehmann forscht aktuell an zwei parallelen Schwerpunkten: (1) Mathematische Grundlagen für computergestützte Existenzbeweise von speziellen geometrischen Strukturen (Calabi-Yau und G2-Mannigfaltigkeiten), und (2) Verwaltung und Optimierung von wissenschaftlichen Datenanalyse-Workflows in verteilten Rechensystemen.