GI-Dissertationspreis geht nach Österreich

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.

Daniela Kaufmann Screenshot von Preisverleihung bei GI-Jahrestagung

Daniela Kaufmann
Screenshot von Preisverleihung bei GI-Jahrestagung

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

Dieser Beitrag wurde unter Frauen und Informatik, IT Nachwuchsinitiativen, Themen, Wettbewerbe und Preise, Wissenschaft und Forschung abgelegt und mit , , , , verschlagwortet. Setzen Sie ein Lesezeichen auf den Permalink.

Die Kommentarfunktion ist geschlossen.