
PhDStudents
One of my main aims, when I founded RISC, was the creation of
a stimulating environment for international PhD students. In the
frame of the PhD curriculum on symbolic
computation which I developed since 1974 and, in a more systematic
form, since 1982, I personally advised the PhD students listed below.
Many other PhD theses were advised by the faculty which I recruited
and built up for carrying through the PhD curriculum at RISC. Six
of my PhD students received the highest Austrian award for PhD students,
the "Sub Auspiciis Praesidentis Rei Publicae" graduation,
in which the Austrian state president is personally present (see
the students marked by *). At an average, only one out of hundred
PhD students in Austria reveives this award. Quite some of my former
PhD students are now professors, associate and assistant professors
at various universities and research institutions around the world.
My entry in the Mathematics Genealogy Project.
Ardeleanu, Eugen, Ph.D., Univ. of Linz (Austria), 1995, Invariant
Theory of Finite Groups and Applications.
Craciun, Adrian, PhD., Univ. of Linz (Austria), 2007, Buchberger’s Lazy Thinking Method for Algorithm Synthesis: Case Study Groebner Bases Algorithm.
* Dreiseitl, Stefan, PhD., Univ. of Linz, 1997, Nonlinear System and Structure Identification by Neural Networks and Genetic Algorithms.
Dupré, Daniela, Ph.D., Univ. of Linz, 2000, Automated
Theorem Proving by Integrating Proving, Solving and Computing.
* Falkinger, Josef, Ph.D., Univ. of Linz, 1978, Universalität
und Reduzierbarkeit von partiell rekursiven Funktionen, Automaten
und deren Numerierungen.
Fuchs, Günther, PhD., Univ. of Linz (Austria), 2006, Logic Foundation of Geometry and Didactics.
Funk, Gerhard, Ph.D., Univ. of Linz, 1989, A Verification
System for Total Correctness of the Parallel LLanguage.
Gehrke, Wolfgang, Ph.D., Univ. of Linz, 1995, Decidability
Results for Categorical Notions Related to Monads by Rewriting Techniques.
Hintenaus, Peter Michael, Ph.D., Univ. of Linz , 1989,
Decomposing and Parameterizing the Solution Set of an Algebraic
System.
Jebelean, Tudor, Ph.D., Univ. of Linz (Austria), 1994, Systolic Multiprecision Arithmetics.
Jenewein, F., Ph.D., Univ. of Innsbruck, 1974, Eine Metasprache
zur Definition von Programmiersprachen und ihre Implementierung.
Kalkbrener, Michael, Ph.D., Univ. of Linz, 1991, Three
Contributions to Elimination Theory.
* Kusche, Klaus, Ph.D., Univ. of Linz, 1995, Castle 
Design and Implementation of a Symbolic computation Language with
Emphasis on Polymorphism and Efficiency.
Kutsia, Temur, Ph.D., Univ. of Linz, 2002,
Unification in Theories with Sequence Variables and Flexible Arity
Function Symbols.
Kutzler, Bernhard, Ph.D., Univ. of Linz, 1988, Algebraic
Approaches to Automated Geometry Theorem Proving.
Lichtenberger, Franz, Ph.D., Univ. of Linz, 1980, Pl/ADT:
Ein System zur Verwendung algebraisch spezifizierter abstrakter
Datentypen in PL/I.
Lisonek, Peter, Ph.D., Univ. of Linz, 1994, Computerassisted Studies in Algebraic Combinatorics.
Mandache, Ana Maria, Ph.D., Univ. of Linz, 1995, Gröbner
Bases Computation and Gaussian Elimination.
Marin, Mircea, Ph.D., Univ. of Linz, 2000, Functional
Logic Programming with Distributed Constraint Solving.
Mayr, Herwig, Ph.D., Univ. of Linz, 1991, RealTime Dynamic
Collision Checking Integrated into Graphic Manufacturing Simulation.
MichelicBirgmayer, Renate, Ph.D., Univ. of Linz, 1989,
Algorithmic Problems in Primary Decomposition.
Nakagawa, Koji, Ph.D., Univ. of Linz, 2002, Supporting UserFriendliness in the Mathematical Software System Theroema.
Piroi, Florina, Phd., Univ. of Linz (Austria), 2004, Tools for Mathematical Knowledge Management.
Plasser, Kurt, Ph.D., Univ. of Linz, 1976, Über
die Vernetzung berechenbarer Funktionen.
* Ploner, H., Ph.D., Univ. of Innsbruck, 1975, Ein Algol
60 Interpreter.
Robu, Judit, Ph.D., Univ. of Linz, 2002,
Geometry Theorem Proving in the Frame of the Theorema Project.
* Rolletschek, Heinrich, Ph.D., Univ. of Linz, 1980,
Contributions to the Systematics of Creativity Concepts.
Rudalics, Martin, Ph.D., Univ. of Linz, 1988, Multiprocessor
List Memory Management.
Schindler, Klaus, Ph.D., Univ. of Innsbruck, 1974, Blum’sche
Komplexitätsmaqsse in der verallgemeinerten Rekursionstheorie
von Moschovakis.
Seeber, Gilg, Ph.D., Univ. of Linz, 1980, Kreativität
und Universalität.
* Schreiner, Wolfgang, Univ. of Linz, 1994, Parallel
Functional Programming for Computer Algebra.
Stifter, Sabine, Ph.D., Univ. of Linz, 1988, A Medley
of Solutions to the Robot Collision Problem in two and three Dimensions.
Sutter, Peter, Ph.D., Univ. of Linz, 1976, Implementierung
einer Metasprache zur Definition von auf symbolischen Daten operierenden
Interpretern und ihr Einsatz in der Programmverifikation.
* Winkler, Franz, PhD., Univ. of Linz. The ChurchRosser
Property in Computer Algebra and Special Theorem Proving.
Windsteiger, Wolfgang, PhD., Univ. of Linz, 2001, A Set Theory Prover in Theorema: Implementation and Practical Applications.
Zapletal, Alexander, PhD., Univ. of Linz (Austria), 2008, Compilation of Theorema Programs.

