Univ.-Prof. Dr. Peter Paule
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University