Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics