Title: Aspects and Prospects of Theoretical Computer Science