GI-Dissertationspreis: Verbesserte Verifikationsmethoden für digitale Schaltungen

(Berlin, Bonn) - Für ihre herausragende Doktorarbeit zur Verifikation von Multiplizierern auf Gatterebene erhält Dr. Daniela Kaufmann den Dissertationspreis der Gesellschaft für Informatik e.V. (GI), der Österreichischen Computer Gesellschaft (OCG) und der Schweizer Informatik Gesellschaft (SI).

Dr. Daniela Kaufmann erhält den mit 5.000 Euro dotierten GI-Dissertationspreis, eine gemeinsame Auszeichnung der Schweizer Informatik Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) und der Gesellschaft für Informatik (GI), die herausragende Promotionsarbeiten würdigt. Die Forschungsabeit wurde an der Johannes Kepler Universität Linz eingereicht und widmet sich der formalen Verifikation von arithmetischen Schaltungen mithilfe von algebraischer Beweistechnik.

Digitale Schaltungen, welche essenzieller Bestandteil von Computern und digitalen Systemen sind, 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, insbesondere sogenannter Multiplizierer, jedoch eine Herausforderung darstellt. In ihrer Promotion entwickelte Dr. Daniela Kaufmann ein Verfikationstool, mit welchem Multiplzierer vollautomatisch verifiziert werden können.

GI-Präsident Prof. Dr. Hannes Federrath: "Dr. Daniela Kaufmann hat im Rahmen ihrer Forschung aktuelle Verifikationsmethoden basierend auf Computeralgebra verbessert. Sie hat neue Methoden entwickelt, die für einen gegebenen Integer-Multiplizierer auf Gatterebene vollautomatisch über dessen Korrektheit entscheiden, ohne dass die Entwicklerinnen und Entwickler manuell in den Verifikationsprozess eingreifen müssen. Damit hat Dr. Daniela Kaufmann eine überraschende Lösung für ein lange bekanntes Problem im Spektrum Theorie, Software und industrielle Anwendung gefunden. Wir gratulieren herzlich zu dieser hervorragenden Leistung!"

Die Doktorarbeit von Dr. Daniela Kaufmann ist hier zu lesen: https://danielakaufmann.at/wp-content/uploads/2020/11/Kaufmann-PhD-Thesis-2020.pdf

Die offizielle Ehrung findet in diesem Jahr am Mittwoch, den 29.09.2021, auf der INFORMATIK 2021 - der 51. GI-Jahrestagung - statt. Die Auszeichnung kann ab 18:50 Uhr kostenlos im Livestream verfolgt werden. Weitere Informationen finden Sie auf: https://informatik2021.gi.de.

Über den Dissertationspreis von GI, SI und OCG

Mit ihrem gemeinsam vergebenen Dissertationspreis möchten die Gesellschaft für Informatik, die Österreichischen Computer Gesellschaft und die Schweizer Informatik Gesellschaft besonders wichtige Arbeiten junger Wissenschaftlerinnen und Wissenschaftler in der Öffentlichkeit herausstellen. Die beteiligen Fachgesellschaften möchten darüber hinaus einen Beitrag zum Wissenstransfer von den Hochschulen in die Bereiche Technik, Wirtschaft und Gesellschaft leisten. Vorschlagsberechtigt für den GI-Dissertationspreis der sind alle wissenschaftlichen Hochschulen in der Bundesrepublik Deutschland, in Österreich und in der Schweiz, die das Promotionsrecht in den oben genannten Bereichen besitzen. Jede dieser Hochschulen darf eine Dissertation für den Preis vorschlagen.

Quelle und Kontaktadresse:
Gesellschaft für Informatik e.V. (GI) Ahrstr. 45, 53175 Bonn Telefon: 0228 302145, Fax: 0228 302167