Revolutionieren, wie Computer Aufgaben lösen

Der Informatiker Jan Dreier schlägt sich in der Forschung mit mathematischer Logik herum – und in der Freizeit mit Kickboxern.