Topics in Theoritical Computer Science