Facharbeit: Chaos und Fraktale
Proseminar: Künstliche Intelligenz - Aufbau einer Wissensbasis
Projektarbeit: Constraintbasierte Vervollständigungstechniken: Ordnungsconstraints
Diplomarbeit: Integration von Entscheidungsverfahren in den induktiven Theorembeweiser QuodLibet