Teaching

• 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.)