Prof. Martin Kreuzer visits RISC (May 9, 2016)