Projects

RISC concentrates on foundational research in various areas of symbolic computation. Industrial research projects are carried out via the RISC Software company, a RISC spin-off founded in the year 1992.

Ongoing Projects at RISC

Past Projects at RISC