Genauer formuliert widmet sich die Dissertation der formalen Verifikation von arithmetischen Schaltungen mithilfe von algebraischer Beweistechnik. Digitale Schaltungen sind essenzieller Bestandteil von Computern und digitalen Systemen und müssen korrekt funktionieren um Fehler zu vermeiden. Die korrekte Spezifikation einer Schaltung kann mithilfe von formaler Verifikation geprüft werden, was im Falle von arithmetischen Schaltungen eine Herausforderung darstellt. In ihrer Promotion entwickelte Dr.ⁱⁿ Daniela Kaufmann (Institut für Formale Modelle und Verifikation) ein Verfikationstool, mit dem sogenannte Multiplzierer vollautomatisch verifiziert werden können.

Der mit 5.000 Euro dotierten GI-Dissertationspreis wird von der Schweizer Informatik Gesellschaft (SI) gemeinsam mit der Österreichischen Computergesellschaft (OCG) und der Gesellschaft für Informatik (GI) verliehen und würdigt herausragende Promotionsarbeiten.