Teaching

• Winter 2010/11
  • Übungen zu Einführung in die Programmierung
• Summer 2010
  • Übungen zu Lineare Algebra
• Winter 2009/10
  • Übungen zu Lineare Algebra
• Sommer 2009
  • Kodierungstheorie (mit Martin Hofmann)
  • Übungen zu Diskrete Strukturen
• Fall 2008
  • Logic and Semantics
• Summer 2006
  • Exercises and Tutorial for "Lineare Algebra II für Informatiker"
  • Support/substitute for "Logik II"
• Winter 2005/2006
  • Exercises and tutorial for "Lineare Algebra I für Informatiker".
• Summer 2005
  • Algorithmen für das SAT-Problem, replacing Jan Johannsen during his illness.
  • Exercises to "Lineare Algebra II für Informatiker"
• Winter 2004/2005 (from Christmas onwards)
  • Tutorial to Diskrete Strukturen
  • Exercises to "Lineare Algebra I für Informatiker"
• Winter 2003/2004 (until Christmas)
  • Exercises to "logic I".

Supervision

• Diplomarbeit (Master's thesis) of Martin Kliger. "Admissibility of omega_n^ck".
  Finished August 2007.
  (Joint supervision with Wilfried Buchholz.)
• Diplomarbeit (Master's thesis) of Nicolas Rachinsky. "The Complexity of Resolution Refinements and Satisfiability Algorithms".
  Finished April 2007.
  (Joint supervision with Jan Johannsen.)
• Fortgeschrittenenpraktikum (student project) of Jan Peter Gutzmann. "Type checking of F_omega in church style".
  Finished December 2003.
  (Joint supervision with Andreas Abel.)