Challenges for Theory of Computing

Report of an NSF-Sponsored Workshop on Research in Theoretical Computer Science

April 1999

This report is the culmination of a two-day workshop, funded by the National Science Foundation, that took place March 11-12, 1999 in Chicago.

The report demonstrates the following major points about theory of computing research:

Fundamental discoveries by theoreticians shape computer science dramatically.
Resources invested in theory of computing research yield significantly multiplied practical benefits.
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.

[Full report in HTML.]
[Full report in PDF.]

Important Links:

PITAC-Report to the President
The CRA page on Information Technology for the Twenty-First Century(IT²)
Increased funding for Theory of Computing depends on government funding of IT². Everyone interested in the future of Information Technology should contact members of Congress.

Alan Selman