Die hervorragende Doktorarbeit von Daniela Kaufmann wurde bei der GI-Jahrestagung #Informatik2021 am 29. September mit dem GI-Dissertationspreis ausgezeichnet. Damit geht der Preis nach Österreich – an die JKU Linz. In ihrer Arbeit Formal Verification of Multiplier Circuits using Computer Algebra, Erstbeurteiler Prof. Armin Biere, entwickelte Daniela Kaufmann ein Verifikationstool, mit welchem Multiplizierer vollautomatisch verifiziert werden können.
Mit dem GI-Dissertationspreis werden Arbeiten in der Disziplin Informatik, die einen Fortschritt für die Informatik bedeuten und Arbeiten in anderen Disziplinen, die Informatik anwenden, um bestimmte Ereignisse zu untersuchen, ausgezeichnet. Die Arbeiten werden von Universitäten aus Deutschland, Österreich und der Schweiz eingereicht.
Die deutsche Gesellschaft für Informatik e.V. (GI) vergibt gemeinsam mit der Schweizer Informatik Gesellschaft (SI) und der Österreichischen Computer Gesellschaft (OCG) sowie dem German Chapter of the ACM (GChACM) jährlich einen Preis für eine hervorragende Dissertation (GI-Dissertationspreis).
Link zur Doktorarbeit von Daniela Kaufmann
Link zur Pressemeldung der GI