Dr. Kaufmann erhält den mit 5.000 Euro dotierten GI-Dissertationspreis, der herausragende Promotionsarbeiten würdigt. Die Forschungsarbeit wurde an der Johannes Kepler Universität Linz eingereicht und beschreibt ein Verfikationstool, mit dem Multiplzierer vollautomatisch verifiziert werden können. Die verwendeten Methoden entscheiden für einen gegebenen Integer-Multiplizierer auf Gatterebene vollautomatisch über dessen Korrektheit.


Der 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 wichtige Arbeiten junger Wissenschaftlerinnen und Wissenschaftler in der Öffentlichkeit herausstellen.

Die 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.