Teaching record

• New University of Lisbon
• University of Göttingen
• University of Coimbra
• University of Munich
• University of Ulm
• University of Tübingen
• University of Berne

New University of Lisbon

• winter term 2011/12
• Computability and complexity, lectures (master course)
• Álgebra Linear e Geometria Analítica, lectures (master course)
• summer term 2010/11
• Theory of Error Correction, lectures
• Discrete Mathematics, exercise classes
• Analysis II B, exercise classes
• winter term 2010/11
• Analysis II B, exercise classes
• summer term 2008/09
• History and Philosophy of Mathematics, lectures (master course)
• winter term 2008/09
• Logic, lectures (master course)
• summer term 2007/08
• Analysis II C, lectures and exercise classes

University of Göttingen

• summer term 2009/10
• Logic, lectures (guest lecture)
• winter term 2007/08
• Logic, lectures (Erasmus lecture)

University of Coimbra

• winter term 2007/08
• Advanced logic, lectures and exercise classes (master course)
• Computability and complexity, lectures and exercise classes (master course)
• Functional programming, lectures and exercise classes (master course)
• summer term 2006/07
• Data structures, lectures and exercise classes
• Computability and complexity, lectures and exercise classes (master course)
• winter term 2006/07
• Object oriented programming, lectures and exercise classes
• summer term 2005/06
• Computability and complexity, lectures and exercise classes (master course)
• winter term 2005/06
• Advanced logic, lectures and exercise classes (master course)
• Object oriented programming, lectures and exercise classes
• Databases, lectures and exercise classes
• summer term 2004/05
• Object oriented programming, lectures and exercise classes
• winter term 2004/05
• Advanced logic, lectures and exercise classes (master course)
• Databases, lectures and exercise classes
• summer term 2003/04
• Object oriented programming, lectures and exercise classes
• Algorithms and data structures II, lectures
• winter term 2003/04
• Specification and verification, lectures and exercise classes
• Databases, lectures and exercise classes

University of Munich

• winter term 2001/02
• Applicative Theories and Explicit Mathematics, lectures and exercise classes
• summer term 2000/01
• Techniques of logic programming, lectures and exercise classes
• Computer Science II, exercise classes, together with Norbert Eisinger and Slim Abdennadhar (lectures of Hans-Jürgen Ohlbach)
• winter term 2000/01
• Synonymy and Intensionality, seminar, together with Hans Leiß
• Computer Science I, exercise classes, together with Norbert Eisinger, Slim Abdennadhar and Bertram Fronhöfer (lectures of François Bry)

Humboldt-Studienzentrum, University of Ulm

• winter term 2001/02
• Introduction to logic, lectures

University of Tübingen

• summer term 2000/01
• Logics for programs, seminar
• winter term 2000/01
• Logic programming, lectures and exercise classes
• summer term 1999/00
• Intensionality, seminar, together with Fritz Hamm
• winter term 1999/00
• Functional programming, lectures and exercise classes
• Quantum logic and quantum computing, seminar, together with Klaus-Jörn Lange and Andreas Weber
• summer term 1998/99
• Logic programming, lectures and exercise classes
• Combinatory logic and Lambda calculus, exercise classes (lectures of Peter Schroeder-Heister)
• winter term 1998/99
• Logics for quantifiers, seminar, together with Fritz Hamm
• summer term 1997/98
• Automated Reasoning, lectures
• summer term 1996/97
• Combinatory logic and Lambda calculus, exercise classes (lectures of Peter Schroeder-Heister)

University of Berne

• winter term 1993/94
• Formal methods of reasoning - logic programming, exercise classes (lectures of Gerhard Jäger)