Teaching

Current Semester

• Algorithmen und Datenstrukturen (lecture)
• Automatic Deduction — Introduction to Isabelle (lecture)

Consultation during the lecture period: Wednesdays 16–18. Otherwise by appointment.

Past Teaching

WS 2007/08

• Logic (lecture)
• Constraint Programming (specialisation seminar)

SS 2007

• Algorithmen und Datenstrukturen (lecture)

WS 2006/07

• Logic (lecture)
• Automated Theorem Proving with Isabelle/HOL (lecture)