Johannes Kepler University Linz, Research Institute for Symbolic Computation (RISC)

The Research Institute for Symbolic Computation (Institut für Symbolisches Rechnen, RISC) is an institute of the Johannes Kepler University (JKU) in Linz, Austria. RISC is part of the Department of Mathematics in the Faculty of Engineering and Natural Sciences (TNF) of the JKU. On the other hand, RISC is part of the Softwarepark Hagenberg, an innovative center for research, education, and industrial cooperations focussed on "Software" founded around 1990 by Bruno Buchberger, who is also the founding chairman of RISC.