Sandra Kiefer vom Lehrstuhl Informatik 7 (Logik und Theorie diskreter Systeme) erhält den Ackermann Award 2021 für ihre Dissertation “Power and Limits of the Weisfeiler-Leman Algorithm”.

12.10.2022
  Professor Katoen

Frau Kiefer hat ihre Doktorarbeit im März 2020 verteidigt. Aktuell ist sie als Forschungsgruppenleiterin am Max-Planck-Institut für Softwaresysteme tätig.

Mit dem Ackermann Award zeichnet die European Association for Computer Science Logic (EACSL) jährlich exzellente Doktorarbeiten im Bereich “Logic in Computer Science” aus.