Logikerin Agata Ciabattoni
Bild: TU Wien