Courses

Winter Semester 2008-09: Problem Solving in Computer Science
Summer Semester 2008: Theoretical Computer Science, Advanced Theoretical Computer Science
Winter Semester 2007-08: Model Checking
Summer Semester 2007: Problem Solving in Computer Science, Introduction to Distributed Systems
Winter Semester 2006-07: Theoretical Computer Science III
Summer Semester 2006: Computer Aided Verification
Winter Semester 2005-06: Theoretical Computer Science III
Summer semester 2005: Problem Solving in Computer Science
Winter semester 2004-05: Computer-Aided Verification