University of Cooperative Education, University of Cooperative Education Lörrach, Germany.

• Lecturer for the course Automata and Complexity Theory (WS 2001/02).
• Lecturer for the course Theoretical Computer Science (WS 1997/98).
• Lecturer for the course Theoretical Computer Science (WS 1996/97).

Computer Science Department, University of Freiburg, Germany.

• Teaching Assistant of the course Computational Biology (SS 2002).
• Teaching Assistant of the course Parallel Algorithms and Applications (SS 2002).
• Teaching Assistant of the course Applied Computer Science (WS 2001/02).
• Teaching Assistant of the course Theory of Computation (WS 2000/01).
• Teaching Assistant of the course Data Structures and Algorithms (SS 2000).
• Teaching Assistant of the course Algorithm Theory (WS 1999/2000).
• Teaching Assistant of the course Computational Geometry (SS 1999).
• Teaching Assistant of the course Data Structures and Algorithms (SS 1999).
• Teaching Assistant of the course Programming (WS 2000/01).
• Teaching Assistant of the course Programming (WS 1998/99).

Computer Science Department, University of Dortmund, Germany.

• Supervisor of the project Bug-Finder (WS 2005/06, SS 2006).
• Supervisor of the project Mod-Plan (WS 2004/05, SS 2005).
• Supervisor of the project GPS-Route (SS 2004, WS 2004/05).

Computer Science Department, University of Dortmund, Germany.

• Lecturer of the course Game Playing (SS 2008).
• Lecturer of the course Action Planning (WS 2007/2008).
• Lecturer of the course Directed Model Checking (SS 2007).
• Lecturer of the course Advanced Search Algorithms (WS 2006/07).
• Supervisor of the seminar External Exploration (SS 2006).
• Lecturer of the course Artificial Intelligence (WS 2005/06).
• Lecturer of the course Directed Model Checking (SS 2005).
• Lecturer of the course Artificial Intelligence (WS 2004/05).
• Lecturer of the course Action Planning (SS 2004).
• Lecturer of the course Heuristic Search (WS 2003/04).

Computer Science Department, University of Bremen, Germany.