2007/08

• Introduction to Mathematical Logic
  homepage, TUD Vorlesungsverzeichnis
  
• Formale Grundlagen der Informatik II (CS year 1)
  homepage FGI II 08, course notes FGI II: Teil 1 (AL), Teil 2 (FO),
  TUD Vorlesungsverzeichnis
• Logik und Grundlagen
  homepage, TUD Vorlesungsverzeichnis

2006/07

• Linear Algebra I & II (MCS, Mathematics with Computer Science Programme)
  homepage LA I, course notes LA I, TUD Vorlesungsverzeichnis
  homepage LA II, course notes LA II, TUD Vorlesungsverzeichnis
• Formale Grundlagen der Informatik I & II (CS year 1)
  homepage FGI I 06/07, course notes FGI I 06/07, TUD Vorlesungsverzeichnis
  homepage FGI II 2007, course notes FGI II, 2007: Teil 1 (AL), Teil 2 (FO), TUD Vorlesungsverzeichnis
• Proseminar I: Selected Topics in Discrete Mathematics (MCS)
• Seminar: Logik und algorithmische Modelltheorie

2005/06

• Finite Model Theory, winter term 05/06 (part of MSc Advanced Course in Logic)
  course notes
• Model Theory of Modal Logics, summer term 06 (part of MSc Advanced Course in Logic)
  TUD Vorlesungsverzeichnis
• Proseminar on Conway Games and Numbers, summer term 06
  TUD Vorlesungsverzeichnis
• Seminar on Constraint Satisfaction Problems, winter term 05/06
  seminar announcement
• Formale Grundlagen der Informatik I & II (CS year 1)
  link to course homepage FGI I 05/06, course notes FGI I 05/06
  TUD Vorlesungsverzeichnis FGI II 06, link to course homepage FGI II 06

2004/05

• Formale Grundlagen der Informatik I & II (CS year 1)
• Introduction to Mathematical Logic
• Modelltheorie (Model Theory)

2003/04

• Linear Algebra I & II (MCS, Mathematics with Computer Science Programme)
• Proseminar: Groups and Patterns (MCS)

2002/03 (Swansea)

• Logic and Semantics (Math&Comp, year 3)
• Algorithms and Computation (year 1)
• Algorithms and Complexity (year 2)