Degree awarded 18/11/1997 by the Research Institute for Symbolic Computation, Johannes Kepler Universität, Linz, Austria.
Thesis topic: "Parametric Robust Stability by Quantifier Elimination".
Degree awarded with honors.
Degree awarded 19/11/1992 by the Johannes Kepler Universität, Linz, Austria.
Thesis topic: "An Introduction to the Symbolic Integration of Elementary Functions".
Thesis won the I-RISC Research Award granted by the Erste österreichische Spar-Casse Bank AG.
Graduated ("Reifeprüfung"/"Matura") 02/06/1986 with honors.