Topics in Theoretical Computer Science