Current Trends in Theoretical Computer S by