Für seine Arbeit über die formale Verifikation und Interpretierbarkeit von verschiedenen Standardmodellen des maschinellen Lernens wird Dr. Marco Sälzer der Dissertationspreis der Gesellschaft für Informatik e.V., der Österreichischen Computer Gesellschaft sowie der Schweizer Informatikgesellschaft verliehen.

Marco Sälzer promovierte an der Universität Kassel und beschäftigte sich in seiner Dissertation mit dem Titel „The Complexity of Formal Verification of Neural Network Based Models“ mit der formalen Verifikation und Interpretierbarkeit von verschiedenen Standardmodellen des maschinellen Lernens.

Überzeugt hat die Jury Marco Sälzers äußerst präzises mathematisches Fundament zu seinen Untersuchungen dieser komplexen Black-Box-Systeme, wodurch die Ergebnisse einen wichtigen Beitrag zu einem höchst aktuellen Problem der Explainable AI liefern.

Über den GI-Dissertationspreis

Mit dem GI-Dissertationspreis Preis würdigen die Gesellschaft für Informatik e.V., die Österreichische Computer Gesellschaft und die Schweizer Informatikgesellschaft hervorragende Forschungsergebnisse bei der Analyse und der Interpretierbarkeit von vielfach verwendeten Architekturen im maschinellen Lernen, die die bislang gewonnenen Erkenntnisse einen erheblichen Schritt voranbringen. Die Presiverleihung erfolgt im Rahmen des INFORMATIK FESTIVALS in Dresden am 24. September 2026.