Former Teaching Activities

Here is an overview of all my current and former teaching and Administrative activities.

Taught Modules

Former teaching in Saarbrücken (in German)

  • SS 2001: Parameterisierbare agentbasierte Taktikexpansion, Fortgeschrittenenpraktikum.
  • WS 2000/2001: Tutorielle Systeme, Vortragsbetreuung im Proseminar.
  • SS 2000: Agentbasierte Theoremanwendung in der Beweisplanung, Fortgeschrittenenpraktikum .
  • SS 2000: Deduktion und Berechnung, Vortragsbetreuung Seminar.
  • WS 1999/2000: Informatik IV, Betreuung der Vorlesung.
  • WS 1999/2000: Resourcen in agentbasierten Beweissystemen, Fortgeschrittenenpraktikum.
  • WS 1999/2000: KI Planen, Vortragsbetreuung im Proseminar.
  • WS 1999/2000: Deduktionssysteme, Vortragsbetreuung im Proseminar.
  • SS 1998: Taktikexpansion für Arithmetik auf rationalen Zahlen, Fortgeschrittenenpraktikum.
  • SS 1997: Einführung in die Methoden der KI, Übungen zur Vorlesung .