High School:

BRG Auhof Aubrunnerweg. Final exam (Matura): 1986 (mit ausgezeichnetem Erfolg).

University:

Johannes Kepler University Linz.

Diploma Thesis:

Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation. RISC Institute, Johannes Kepler University Linz, January 1992. Advisor: Bruno Buchberger.

PhD Thesis:

A Set Theory Prover in Theorema: Implementation and Practical Applications. RISC Institute, Johannes Kepler University Linz, May 2001. Advisor: Bruno Buchberger.

Habilitation in Symbolic Computation:

Mathematical Assistant Systems for Theory Exploration and Mathematics Education, Johannes Kepler University Linz, March 2015.