Teaching

• University of Coimbra
• University of Munich
• University of Tübingen
• University of Ulm
• University of Berne

University of Coimbra

• Winter term 2004/2005
  • Databases (lecture with excercise class)
  • Advanded Logic (master course)
• Summer term 2004
  • Algorithms and Data structures II (lecture)
  • Object oriented programming (lecture with excercise class)
• Winter term 2003/2004
  • Spezification and Verification (lecture with excercise class)
  • Databases (lecture with excercise class)

University of Munich

• Winter term 2001/2002
  • Applicative theories and explicit mathematics (lecture with excercise class)
• Summer term 2001
  • Techniques of logic programming (lecture with excercise class)
  • Excercise class for Computer Science II (lecture by Prof. Ohlbach), together with Norbert Eisinger, Slim Abdennadhar and Bertram Fronhöfer
• Winter term 2000/2001
  • Synonymy and intensionality (seminar), together with Dr. Hans Leiß, Centrum für Informations- und Sprachverarbeitung.
  • Excercise class for Computer Science I (lecture by Prof. Bry), together with Norbert Eisinger, Slim Abdennadhar and Bertram Fronhöfer
  • Organisation des Kolloquiums Sprache, Information, Logik (Graduiertenkolleg SIL)
• Summer term 2000
  • Organisation des Kolloquiums Sprache, Information, Logik (Graduiertenkolleg SIL)

University of Tübingen

• Summer term 2001
  • Logiken für Programme (seminar)
• Winter term 2000/2001
  • Einführung in die Logikprogrammierung (lecture with excercise class)
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Summer term 2000
  • Intensionalität, gemeinsam mit PD Dr. Fritz Hamm, Institut für Sprachwissenschaften.
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Winter term 1999/2000
  • Einführung in die funktionale Programmierung (lecture with excercise class)
  • Quantenlogik und Quantencomputing (seminar), gemeinsam mit Prof. Klaus-Jörn Lange und Dr. Andreas Weber.
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Summer term 1999
  • Einführung in die Logikprogrammierung (lecture with excercise class)
  • Excercise class for Kombinatorische Logik und Lambda-Kalkül (lecture by Prof. Schroeder-Heister)
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Winter term 1998/99
  • Logik für Quantoren (seminar), gemeinsam mit Dr. Fritz Hamm, Institut für Sprachwissenschaften.
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Summer term 1998
  • Automatisches Beweisen (Vorlesung)
• Summer term 1997
  • Excercise class for Kombinatorische Logik und Lambda-Kalkül (lecture by Prof. Schroeder-Heister)

Humboldt study center, University of Ulm

• Winter term 2001/2002
  • Introduction to logic (Lecture)

University of Berne

• Winter term 1993/94
  • Excercise class for Formale Methoden des Reasoning - Logik-Programmierung (lecture by Prof. Jäger)