Heinz Zemanek Preis 2022 an Daniela Kaufmann und Stefan Neumann

Wo wäre ein würdigerer Platz für das Hearing zum renommierten Wissenschaftspreis gewesen als im Heinz Zemanek Saal der OCG. Viele von uns erinnern sich noch an die begeisternden Vorträge des Computerpioniers in diesem Raum. Und begeistert haben am Mittwoch, 18. Mai, hier nun auch die Präsentationen der ausgezeichneten Doktor-Arbeiten vor einer hochkarätigen Jury unter dem Vorsitz von Prof. Stefan Szeider in einem Hearing für den Heinz Zemanek Preis. Die Auswahl ist heuer besonders schwer gefallen und schließlich fiel die sehr knappe Entscheidung auf die Arbeiten von

  • Daniela Kaufmann „Formal Verification of Multiplier Circuits using Computer Algebra“ und
  • Stefan Neumann „Provably Finding and Exploiting Patterns in Data“.
Vier Kandidatin und eine Kandidatin im Heinz Zemanek Saal

Hearing zum Heinz Zemanek Preis in der OCG:
M. Hecher, M. Lipp, S. Neumann, D. Kaufmann, A. K. Goharshady

Auch die drei anderen Kandidaten, die von der Jury unter den fünfzehn Nominierungen auf die Shortlist ausgewählt worden waren, beeindruckten die Jury mit ihren Arbeiten:

  • Markus Hecher (Advanced Tools and Methods for Treewidth-Based Problem Solving, Betreuer Stefan Woltran, TU Wien)
  • Amir Kafshdar Goharshady (Parameterized and Algebra-geometric Advances in Static Program Analysis, Betreuer Krishnendu Chatterjee, IST Austria)
  • Moritz Lipp (Exploiting Microarchitectural Optimizations from Software, Betreuer Daniel Gruss, TU Graz)

Alle fünf Nominierten werden zum Austrian Computer Science Day am 21. Juni 2022 eingeladen, wo die feierliche Verleihung des Heinz Zemanek Preises an Daniela Kaufmann und Stefan Neumann stattfinden wird.

Daniela Kaufmann promovierte an der JKU Linz, betreut von Prof. Armin Biere, Institut für Formale Modelle und Verifikation. Sie erhielt 2021 für ihre ausgezeichnete Doktorarbeit auch schon den GI-Dissertationspreis (lesen Sie dazu auch unseren Blog) und gab der OCG dazu ein ausführliches Interview, das im OCG Journal (21/2) nachzulesen ist.

Stefan Neumann promovierte an der Universität Wien, betreut von Prof.in Monika Henzinger, Fakultät für Informatik. Hier finden Sie auch einen Artikel über seine ausgezeichnete Arbeit zum Nachlesen. Seine Doktorarbeit wurde im Jahr 2020 auch mit dem Staatspreis Award of Excellence des BMBWF ausgezeichnet.

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

Die Kommentarfunktion ist geschlossen.