Winter term 10/11

• Office hours: whenever I'm in my office or by appointment.
• Tutorials for Formal Semantics

Summer term 10

• Office hours: whenever I'm in my office or by appointment.
• Tutorials for Foundations of Theoretical Computer Science: Formal Languages and Automata Theory

Winter term 09/10

• Office hours: whenever I'm in my office or by appointment.
• Tutorials for Foundations of Theoretical Computer Science: Logic & Discrete Mathematics
• Tutorials for Formal Semantics

Summer term 09

• Office hours: whenever I'm in my office or by appointment.
• Tutorials for Theoretical Computer Science 1
• Tutorials for Combinatorial Group Theory

Winter term 08/09

• Office hours: whenever I'm in my office or by appointment.
• Tutorials for Theoretical Computer Science 2
• Tutorials for Algorithmic Group Theory

Summer term 08

• Office hours: whenever I'm in my office or by appointment
• Tutorials for Theoretical Computer Science 1
• Tutorials for Theoretical Computer Science 3 for Software Engineering students
• Preparation course for exams in fall 2008

Winter term 07/08

• Office hours: whenever I'm in my office or by appointment
• Tutorials for Computational Complexity Theory
• Tutorials for Theory of Algorithms 2