Diploma and Master Theses (authored and supervised):
M. Eibegger:
"Ein interaktives E-Learning System fuer die Grundlagen der mathematischen Logik";
Supervisor: U. Egly;
Institut fuer Informationssysteme - AB Wissensbasierte Systeme,
2007;
final examination: 2007.