{"id":37540,"date":"2026-06-15T10:56:35","date_gmt":"2026-06-15T08:56:35","guid":{"rendered":"https:\/\/www.risc-software.at\/artificial-intelligence-from-hagenberg-you-can-trust\/"},"modified":"2026-06-24T16:53:59","modified_gmt":"2026-06-24T14:53:59","slug":"artificial-intelligence-from-hagenberg-you-can-trust","status":"publish","type":"post","link":"https:\/\/www.risc-software.at\/en\/artificial-intelligence-from-hagenberg-you-can-trust\/","title":{"rendered":"Artificial intelligence from Hagenberg you can trust"},"content":{"rendered":"\n

How Algorithmic Mathematics Makes AI Reliable and Practical for the Economy<\/em><\/strong><\/h2>\n\n\n\n
\n
\n

A new generation of AI is emerging in Hagenberg\u2014one that not only performs calculations but can also prove its results. The Research Institute for Symbolic Computation (RISC) at JKU Linz and the spin-off company RISC Software GmbH are steadily expanding their role at the intersection of mathematics and AI. <\/p>\n<\/div>\n\n\n\n

\n
\"RISC\n\t\t\t\n\t\t\t\t\n\t\t\t<\/svg>\n\t\t<\/button><\/figure>\n\n\n\n

From left to right: Wolfgang Freiseisen (CEO, RISC Software GmbH), Bruno Buchberger (RISC), Georg Regensburger (RISC), Carsten Schneider (Director, RISC)<\/p>\n<\/div>\n<\/div>\n\n\n

\n
\n

When Learning Systems Reach Their Limits<\/h4>\n\n\n\n

AI is rapidly transforming industry, medicine, and research. However, when it is used in safety-critical systems, machine learning (ML) alone is not sufficient: results must be traceable and mathematically sound. While machine learning derives patterns from data, symbolic computation (SC)\u2014using logic, computer algebra, and formal methods\u2014ensures precise verification. Together, they complement each other to form a hybrid, explainable AI. RISC pursues this goal on three levels. <\/p>\n<\/div>\n<\/div>\n\n

\n
\n
\n
\n
\n
\n
\n
\n

\u201cAI can only become truly intelligent if it combines the statistical creativity of machine learning with the logical rigor of symbolic mathematics.\u201d<\/p>\n\n <\/div>\n <\/div>\n

Bruno Buchberger, Founder of RISC<\/div>\n
\n \"Bruno\n <\/div>\n <\/div>\n <\/div>\n <\/div>\n <\/div>\n <\/section>\n<\/div>\n\n\n
\n
\n

Research: The Foundation<\/h4>\n\n\n\n

RISC was founded in 1987 by Bruno Buchberger; today, the institute is one of the world\u2019s leading centers for symbolic computation. The scope of the research is illustrated by two newly appointed professors: Carsten Schneider applies symbolic algorithms in particle physics\u2014at CERN and in collaboration with DESY\u2014while Georg Regensburger explores the structure of dynamic systems in systems biology. The SCML conference, which brings researchers from around the world to Hagenberg in July, demonstrates just how vibrant the field is. The InProSSA application project, funded by the FFG, combines machine learning and symbolic computation in such a way that the system independently selects the best solution. <\/p>\n<\/div>\n<\/div>\n\n

\n
\n

Apprenticeship: The Next Generation<\/h4>\n\n\n\n

To ensure this commitment to innovation in the long term, the institute is establishing the RISC European College\u2014a two-year, English-language master\u2019s program that combines symbolic computation and machine learning as a mathematical specialization. Funded by the State of Upper Austria and regional companies, the program uses scholarships to train professionals who will not only apply but also shape the AI of the future. <\/p>\n<\/div>\n<\/div>\n\n

\n
\n

Application: for business<\/h4>\n\n\n\n

For over 30 years, RISC Software GmbH\u2014founded in 1992 as a spin-off from the institute\u2014has been transforming the institute\u2019s ideas into robust solutions, ranging from safety-critical software to industrial AI and medical informatics. TaxoLogic demonstrates how this works in practice: The project brings hybrid AI to tax law, where large language models interpret complex legal sources and symbolic logic ensures transparent, legally sound results. <\/p>\n<\/div>\n<\/div>\n\n

\n
\n

A Driver of Innovation for Upper Austria<\/h4>\n\n\n\n
\n
\n

Together, the institute and the GmbH form a unique ecosystem of research, teaching, and application, with more than 130 experts. Since 1985, RISC has shaped the region\u2014from the development of the Hagenberg Software Park to the creation of AI that companies can not only use but also trust. <\/p>\n<\/div>\n\n\n\n

\n
\"Hagenberg<\/figure>\n\n\n\n

Hagenberg Castle<\/p>\n\n\n\n

\n
RISC Institute and RISC Software GmbH<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n\n
\n
\n

Contact us<\/h3>\n\n\n\n
\n
\n \n \n \n \n \n \"\"\n <\/picture>\n \n\n
Univ.-Prof. Dr. phil. Dr. h.c.mult. Bruno Buchberger<\/h5>\n\n\n\n

Founder of RISC (Research Institute for Symbolic Computation) and RISC Software GmbH<\/p>\n\n

\n
E-Mail: buchberger.bruno@gmail.com<\/a><\/div>\n <\/div>\n <\/div>\n<\/div>\n\n\n\n
\n \n \n \n \n \n \"\"\n <\/picture>\n \n\n
Univ. Prof. Dr. Carsten Schneider <\/h5>\n\n\n\n

Director of the RISC (Research Institute for Symbolic Computation)<\/p>\n\n

\n
E-Mail: secretary@risc.jku.at<\/a><\/div>\n <\/div>\n <\/div>\n<\/div>\n\n\n\n
\n \n \n \n \n \n \"\"\n <\/picture>\n \n\n
DI Wolfgang Freiseisen<\/h5>\n\n\n\n

Managing Director RISC Software GmbH<\/p>\n\n

\n
E-Mail: office@risc-software.at<\/a><\/div>\n <\/div>\n <\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n\n
\n
\n
\n
\n

Additional Information<\/h3>\n\n\n\n
\n
RISC \u2013 Research Institute for
Symbolic Computation<\/strong> at JKU Linz,
Schloss Hagenberg, 4232 Hagenberg<\/a><\/div>\n\n\n\n
SCML-2026<\/strong>: International Conference on
Symbolic Computation and
Machine Learning July 6\u20138, 2026<\/a><\/div>\n\n\n\n
RISC European College: <\/strong>
Top international talent for
your company<\/a><\/div>\n<\/div>\n<\/div>\n\n\n\n
\n

Kontaktformular<\/h3>\n\n\n