11.08.2026 HSMW-Top-News, HSMW-News, HSMW-Forschung

Wenn das Navi den kürzesten Weg berechnet, eine Nachricht verschlüsselt durchs Netz geht oder eine Datei komprimiert wird, steckt dahinter meist ein Stück Diskrete Mathematik. Genau um dieses Forschungsfeld ging es am 16. Juni 2026 im Reallabor Telewerk der Hochschule Mittweida (HSMW). Die Hochschule war Gastgeberin des 32. Workshops der Southeastern Germany Group (SEG), zu dem rund 30 Mathematiker:innen aus dem In- und Ausland zusammenkamen.

Dr. Mandy Lange-Geisler und Professor Klaus Dohmen von der Fachgruppe Mathematik an der Fakultät Angewandte Computer- und Biowissenschaften der HSMW haben den Workshop in diesem Jahr organisiert. Die SEG-Community ist ein seit vielen Jahren bestehender Zusammenschluss von Forschungsgruppen der Diskreten Mathematik an den Universitäten und Hochschulen in Chemnitz, Dresden, Freiberg, Ilmenau, Jena, Leipzig und Mittweida.

PreviousNext

Das Reallabor Telewerk war nicht nur atmosphärisch ein richtiger Ort für den Workshop, der von Fachlichkeit und Begegnung geprägt war. In innovativer Holzbauweise erstellt, erprobt die HSMW hier in direkter Anwendung unter anderem Cybersicherheit moderner Arbeitsumgebungen, digitale Infrastrukturen, Internet-of-Things-Vernetzung und regenerative Energieversorgung.

PreviousNext

Für die HSMW ist das Thema auch strategisch relevant: Netzwerkanalyse und die sichere, kryptographisch abgesicherte Übertragung von Informationen nehmen in der Mittweidaer Forschung breiten Raum ein – Bereiche, für die Diskrete Mathematik methodisch unverzichtbar ist. Das spiegelt sich unter anderem im – englischsprachigen – Masterstudiengang „Applied Mathematics for Network and Data Sciences" wider, der Automatentheorie, Codierungstheorie, Kryptologie, mathematische Netzwerkanalyse und stochastische Modellierung vereint und junge Mathematiker:innen an der Schnittstelle zur Informatik ausbildet.

PreviousNext

Diskrete Mathematik wird zunehmend auch gebraucht, um KI-Systeme zu entwerfen, zu optimieren und gegen Angriffe abzusichern. Umgekehrt wirft künstliche Intelligenz neue Fragen für die Grundlagenforschung auf – etwa, wie sich Beweise formal absichern lassen und wie gut KI-Systeme selbst mit diskreten Strukturen, Graphen oder kombinatorischen Problemen umgehen können. Diskutiert wurde in Mittweida in diesem Zusammenhang auch, wie sich mithilfe Lean-basierter Beweisführung KI-gestützte Verfahren überprüfen und benchmarken lassen.