Explorations in Theoretical Computer Science