Academic Degrees
2005: Honorary Doctorate of the University of Bath, UK, School of Mathematics.
1973: Habilitation in mathematics.
University of Innsbruck, Dept. of Mathematics, Austria.
Thesis: On Decompositions of Gödel Numberings.
1993: Honorary Doctorate of the University of Nijmegen, School of Mathematics and Computer Science, The Netherlands.
2000: Honorary Doctorate of the University of Timisoara, Romania, School of Mathematics.
1973: Habilitation in mathematics.
1966: Ph.D. in mathematics.
University of Innsbruck, Dept. of Mathematics, Austria.
PhD Thesis: An Algorithm for Finding the Basis Elements in the Residue
Class Ring Modulo a Zero Dimensional Polynomial Ideal (German, English
Translation: J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions. Volume 41, Number 34, Pages 475511, 2006).
