Chair of Theoretical Computer Science