Lehrveranstaltungen

• Neue Universität von Lissabon
• Universität Göttingen
• Universität Coimbra
• LMU München
• Universität Ulm
• Universität Tübingen
• Universität Bern

Neue Universität von Lissabon

• Sommersemester 2011/12
• Geschichte und Philosophie der Mathematik, Vorlesung (Mastervorlesung)
• Fehlerkorrigierende Kodes, Vorlesung
• Wintersemester 2011/12
• Berechenbarkeit und Komplexität, Vorlesung (Mastervorlesung)
• Álgebra Linear e Geometria Analítica, Vorlesung (Mastervorlesung)
• Sommersemester 2010/11
• Fehlerkorrigierende Kodes, Vorlesung
• Diskrete Mathematik, Übungen
• Analysis II B, Übungen
• Wintersemester 2010/11
• Analysis II B, Übungen
• Sommersemester 2008/09
• Geschichte und Philosophie der Mathematik, Vorlesung (Mastervorlesung)
• Wintersemester 2008/09
• Logik, Vorlesung (Mastervorlesung)
• Sommersemester 2007/08
• Analysis II C, Vorlesung mit Übungen

Universität Göttingen

• Sommersemester 2009/10
• Logik, Vorlesung (Gastvorlesung)
• Wintersemester 2007/08
• Logik, Vorlesung (Erasmus-Vorlesung)

Universität Coimbra

• Wintersemester 2007/08
• Höhere Logik, Vorlesung mit Übungen (Mastervorlesung)
• Berechenbarkeit und Komplexität, Vorlesung mit Übungen (Mastervorlesung)
• Funktionale Programmierung, Vorlesung mit Übungen (Mastervorlesung)
• Sommersemester 2006/07
• Datenstrukturen, Vorlesung mit Übungen
• Berechenbarkeit und Komplexität, Vorlesung mit Übungen (Mastervorlesung)
• Wintersemester 2006/07
• Objektorientierte Programmierung, Vorlesung mit Übungen
• Sommersemester 2005/06
• Berechenbarkeit und Komplexität, Vorlesung mit Übungen (Mastervorlesung)
• Wintersemester 2005/06
• Höhere Logik, Vorlesung mit Übungen (Mastervorlesung)
• Objektorientierte Programmierung, Vorlesung mit Übungen
• Datenbanken, Vorlesung mit Übungen
• Sommersemester 2004/05
• Objektorientierte Programmierung, Vorlesung mit Übungen
• Wintersemester 2004/05
• Höhere Logik, Vorlesung mit Übungen (Mastervorlesung)
• Datenbanken, Vorlesung mit Übungen
• Sommersemester 2003/04
• Objektorientierte Programmierung, Vorlesung mit Übungen
• Algorithmen und Datenstrukturen II, Vorlesung
• Wintersemester 2003/04
• Spezifikation und Verifikation, Vorlesung mit Übungen
• Datenbanken, Vorlesung mit Übungen

LMU München

• Wintersemester 2001/02
• Applikative Theorien and explizite Mathematik, Vorlesung mit Übungen
• Sommersemester 2000/01
• Techniken der Logikprogrammierung, Vorlesung mit Übungen
• Informatik II, Übungen, zusammen mit Norbert Eisinger und Slim Abdennadhar (Vorlesung von Hans-Jürgen Ohlbach)
• Wintersemester 2000/01
• Synonymie und Intensionalität, Seminar, zusammen mit Hans Leiß
• Informatik I, Übungen, zusammen mit Norbert Eisinger, Slim Abdennadhar und Bertram Fronhöfer (Vorlesung von François Bry)

Humboldt-Studienzentrum, Universität Ulm

• Wintersemester 2001/02
• Einführung in die Logik, Vorlesung

Universität Tübingen

• Sommersemester 2000/01
• Logiken für Programme, Seminar
• Wintersemester 2000/01
• Logikprogrammierung, Vorlesung mit Übungen
• Sommersemester 1999/00
• Intensionalität, Seminar, zusammen mit Fritz Hamm
• Wintersemester 1999/00
• Funktionale Programmierung, Vorlesung mit Übungen
• Quantenlogik und Quantencomputing, Seminar, zusammen mit Klaus-Jörn Lange und Andreas Weber
• Sommersemester 1998/99
• Logikprogrammierung, Vorlesung mit Übungen
• Kombinatorische Logik und Lambda-Kalkül, Übungen (Vorlesung von Peter Schroeder-Heister)
• Wintersemester 1998/99
• Logiken für Quantoren, Seminar, zusammen mit Fritz Hamm
• Sommersemester 1997/98
• Automatisches Beweisen, Vorlesung
• Sommersemester 1996/97
• Kombinatorische Logik und Lambda-Kalkül, Übungen (Vorlesung von Peter Schroeder-Heister)

Universität Bern

• Wintersemester 1993/94
• Formale Methoden des Schließens - Logikprogrammierung, Übungen (Vorlesung von Gerhard Jäger)