Current and future technology depends on research by theoreticians and
on collaborative projects that involve both theoreticians and
practitioners.

The report finds that there is an historically demonstrated, enormous
potential impact of theory of computing research, in view of which,
funding for cutting-edge theory of computing should be increased
dramatically.
There is a need to increase the number of researchers in theoretical
computer science, enhance interactions among researchers, and encourage
various types of collaboration. To these ends, the report concludes
with a series of specific recommendations to NSF.