Degrees

Dr.-Ing.

Universität des Saarlandes, May 1999. Thesis: ``Relations between Abstract Datatypes modeled as Abstract Datatypes''

Dipl. Inform.

Universität Dortmund, May 1991. Thesis: ``Über die Stabilität parameterisierter algebraischer Spezifikationen (About the Stability of Parameterized Algebraic Specifications)''. Diplomarbeit, Fachbereich Informatik, Universität Dortmund, 1990.