Slide 1 Key Challenges for Theoretical Computer Science Richard M. Karp NSF, August 31, 2005 Slide 2 What is Theoretical Computer Science ? TCS applies abstract models and…