Linzer Informatiker gewann sechs Medaillen bei Logik-Olympiade

Professor Armin Biere (47).    Bild: privat