Here is an overview of all my current and former teaching and Administrative activities.

• Autumn 2011: Cryptography, 4^th year/MSc module, 57 Students.
  
• Autumn 2011: Cryptography, 2^nd year module, 70 Students.
  
• Autumn 2010: Lisp, Masterclass, 4 Students.
  
• Autumn 2010: Cryptography, 4^th year/MSc module, 65 Students.
  
• Autumn 2009: Software Systems Components 1, 2^nd year module, 87 Students.
  
• Autumn 2009: Cryptography, 4^th year/MSc module, 65 Students.
  
• Spring 2009: Models of Computation, 2^nd year module, 55 Students.
  
• Autumn 2008: Cryptography, 4^th year/MSc module, 50 Students.
  
• Spring 2008: Models of Computation, 2^nd year module, 62 Students.
  
• Autumn 2007: Cryptography, 4^th year/MSc module, 50 Students.
  
• Autumn 2006: Cryptography, 4^th year/MSc module, 72 Students.
  
• Spring 2006: Models of Computation, 2^nd year module, 99 Students.
  
• Spring 2006: Team Java, 2^nd year module, 94 Students.
  
• Spring 2005: Models of Computation, 2^nd year module, 134 Students.
  
• Spring 2005: Graphics, 2^nd year module, 142 Students.
  
• Spring 2004: Math & Logic B/Logic, 1^st year module, 110 Students.
  
• Spring 2003: Math & Logic B/Logic, 1^st year module, 132 Students.
  

• Member of the BSC/IET Accreditation Committee, 2007
  
• Member of the Research Committee, since 2007
  
• Member of the MSc Mitigation Panel 2007
  
• Member of the MSc Exam Board 2007
  
• Welfare Tutor, 2006
  
• Member of the Undergraduate Exam Board 2005
  
• Member of the Facilities Committee 2003-2005
  
• Deputy Facilities Director, 2004-2005
  
• I organised theTheory Seminars in the School of Computer Science, Birmingham from 2002-2004, 2005-2006
  
• I organised the Departmental Seminars in the School of Computer Science, Birmingham from 2004-2005
  

• SS 2001: Parameterisierbare agentbasierte Taktikexpansion, Fortgeschrittenenpraktikum.
  
• WS 2000/2001: Tutorielle Systeme, Vortragsbetreuung im Proseminar.
  
• SS 2000: Agentbasierte Theoremanwendung in der Beweisplanung, Fortgeschrittenenpraktikum .
  
• SS 2000: Deduktion und Berechnung, Vortragsbetreuung Seminar.
  
• WS 1999/2000: Informatik IV, Betreuung der Vorlesung.
  
• WS 1999/2000: Resourcen in agentbasierten Beweissystemen, Fortgeschrittenenpraktikum.
  
• WS 1999/2000: KI Planen, Vortragsbetreuung im Proseminar.
  
• WS 1999/2000: Deduktionssysteme, Vortragsbetreuung im Proseminar.
  
• SS 1998: Taktikexpansion für Arithmetik auf rationalen Zahlen, Fortgeschrittenenpraktikum.
  
• SS 1997: Einführung in die Methoden der KI, Übungen zur Vorlesung .