RISC is an institute of the Johannes Kepler University of Linz, Austria. Since its foundation in 1987 by Prof. Bruno Buchberger, it has become a world-leading centre in all aspects of Symbolic Computation. Through its research activities, its well-established international PhD programme, many conferences and workshops and numerous visits to and from other sites, it has become a central pillar of the world symbolic computation community. Via its spin-off company, RISC Software GmbH, and links to the thriving Software Park Hagenberg, RISC has also tight connections to industrial partners.
With about 45 researchers currently working at RISC, in seven research groups:
- Algebraic Geometry,
- Algorithmic Combinatorics,
- Computer Algebra,
- Formal Methods in Computer Science,
- Parallel and Distributed Computing,
- Theorema (Support of Mathematical Proving),
- Theory of Computation,
For more information about RISC, visit the institute's web page or see the folder. Travel information, maps, and transport schedule can be found on the RISC portal.