GI-Dissertation Award 2020

I received the GI-Dissertation Award 2020 for my dissertation. The annual award presented by the Gesellschaft für Informatik (GI) together with the Austrian Computer Society (OCG) and the Swiss Informatics Society (SI) recognizes an outstanding dissertation in the area of computer science. All universities in Austria, Germany and Switzerland are entitled to propose a candidate. The GI Dissertation Award is accompanied with € 5,000 in prize money.

The award ceremony took place on September 29, 2021 at the INFORMATIK2021 and was streamed on YouTube (link including timestamp).

In the Media

GI NewsGI-Dissertationspreis: Verbesserte Verifikationsmethoden für digitale Schaltungen (28.09.21, German)
heise onlineGesellschaft für Informatik will mehr Nachhaltigkeit in der IT (02.10.21, German)
OCG BlogGI-Dissertationspreis geht nach Österreich (04.10.21, German)
JKU NewsGI-Dissertationspreis geht an Daniela Kaufmann (11.10.21, German)
JKU NewsDaniela Kaufmann Presented with the GI Dissertation Award (11.10.21, English)