Habilitations 2003

Dr.-Ing. Ruth Marzi
Habilitation thesis: Sprachverarbeitung in Mensch-Maschine-Systemen
Demonstration lecture (April 30, 2003): Verfahren zur Sicherstellung der Korrektheit von Software
Habilitation lecture (May 21 2003): Ansätze zur Entwicklung und Bewertung spachverarbeitender Mensch-Maschine-Systeme
Conferring the right to teach Applied Computer Science
Referees: Frau Prof. Dr. rer. nat. Harbusch (Universität Koblenz-Landau), Prof. Dr. Wysotzki, Prof. Dr.-Ing. Fellbusch (BTU Cottbus)

Dr.-Ing. Gabriele Taentzer
Habilitation thesis: Visual Modelling and Validation of Distributed Systems – Abstract, Full text (pdf)
Demonstration lecture (June 2, 2003): Die Vermittlungsschicht in Computernetzwerken
Habilitation lecture (July 9, 2003): Visuelle Modellierung und Validierung von verteilten Systemen
Conferring the right to teach Computer Science
Referees: Prof. Dr. rer.nat. Ehrig, Prof. Dr. rer. nat. Engels (Universität Osnabrück), Prof. Dr. Goedicke (Universität Essen), Prof. Dr. phil. Parisi-Presicce (Universität Rom)

Navigation