Habilitation in Practical Computer Science (November 2001)
Associate professor (“Universitätsdozent”) for Practical Computer Science (“Praktische
Informatik”) at the Johannes Kepler University, Linz, Austria, November 2001.
Habilitation Thesis: “Parallel Software and Algorithms for Symbolic Computation”.
Ph.D. in Computer Science with Distinction (December 1995)
Graduation sub auspiciis praesidentis (in the presence of the Federal President of the
Republic of Austria); Ph.D. Thesis: “Parallel Functional Programming for Computer
Algebra”; Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria.
Ph.D. Student of Technical Sciences (November 1990 – September 1994)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz,
Austria.
M.Sc. in Computer Science with Distinction (November 1990)
Diploma Thesis: “ADAM & EVE — An Abstract Dataflow Machine and Its Programming
Language”; Research Institute for Symbolic Computation (RISC), Johannes Kepler
University, Linz, Austria.
Graduate Student of Computer Science (July 1988 – November 1990)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz,
Austria.
Undergraduate Student of Computer Science (October 1986 – July 1988)
Johannes Kepler University, Linz, Austria.
High School Exam (Matura) with Distinction (June 1986)
Bundesgymnasium 3, Linz, Austria.
Classical Education (September 1978 – June 1986)
Bundesgymnasium 3, Linz, Austria.