People and Ideas in Theoretical Computer Science