RISC

Research Institute for Symbolic Computation

Institut für Symbolisches Rechnen

What is 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.

Between 1999 and 2009 the chairman of RISC was Franz Winkler, between 2009 and 2023 the director of RISC was Peter Paule, and since October 2023 the director of RISC is Carsten Schneider.

The main site of RISC is the Bruno Buchberger Campus in the Softwarepark Hagenberg consisting of two main buildings, the medieval Castle of Hagenberg ("Schloss Hagenberg") and, since 2013, the RISC Extension Building near the pond. The Bruno Buchberger Campus hosts the permanent offices of all RISC members including the secretaries' office. When teaching at JKU, some RISC members may also be found in the non-permanent RISC offices in the Science Park at the JKU campus.

Bruno Buchberger

Bruno Buchberger

Franz Winkler

Franz Winkler

Peter Paule

Peter Paule

Carsten Schneider

Carsten Schneider

What is Symbolic Computation

Symbolic Computation is a sub-area of computer mathematics and deals with the algorithmic processing of mathematical symbols that describe for instance numbers or geometrical objects. Today's advanced mathematics is based heavily on symbolic representations. Therefore, Symbolic Computation is at the heart of modern mathematics. Moreover, Symbolic Computation shows numerous links to Computer Science and Artificial Intelligence.

Symbolic Computation at RISC encompasses research, teaching, and applications in areas such as

  • computer algebra,
  • computer logic, and
  • mathematical software

in all its facets. These areas are reflected in the research areas of RISC.

thumbnail of RISC_Folder_screen

A Brief History of RISC

1987: Prof. Bruno Buchberger founds RISC

1987: Prof. Bruno Buchberger founds RISC

1989: RISC moves to the Castle of Hagenberg

1989: RISC moves to the Castle of Hagenberg

1999: New director Prof. Franz Winkler

1999: New director Prof. Franz Winkler

2005: New full professor Prof. Peter Paule

2005: New full professor Prof. Peter Paule

2008: RISC celebrates its 20th anniversary

2008: RISC celebrates its 20th anniversary

2009: New director Prof. Peter Paule

2009: New director Prof. Peter Paule

2013: Opening of the new RISC building

2013: Opening of the new RISC building

2017: RISC celebrates its 30th anniversary

2017: RISC celebrates its 30th anniversary

Initiatives of RISC

Journal of Symbolic Computation (JSC)

Journal of Symbolic Computation (JSC)

Springer Book Series in Symbolic Computation

Springer Book Series in Symbolic Computation

Softwarepark Hagenberg

Softwarepark Hagenberg

RISC Software GmbH

RISC Software GmbH

University of Applied Sciences Hagenberg

University of Applied Sciences Hagenberg

Software Competence Center Hagenberg

Software Competence Center Hagenberg

More Videos