DIRECTORATE FOR COMPUTER-COMMUNICATIONS RESEARCH (C-CR)
Theory of Computing
Supports fundamental research in three areas: (1) core theory which establishes
solid foundations for cryptography, interactive computation, computational learning,
parallel and distributed computation, computation on random data, on-line
computation, and reasoning about knowledge; (2) fundamental algorithms,
developing combinatorial, approximation, on-line, numerical, geometric
and graph algorithms, which transcend application domains; (3)
application-specific theory, developing models and techniques for
solving problems that arise in areas of science and engineering such as
molecular biology, communications networks and computational
linguistics. Theoretical development is also an important mode of
research in the other programs of the Division.
Of particular interest are theoretical developments that have potential
impact on experimental or applied areas of computer science research. When theoretical
research is able to predict observable phenomena, such as the
performance of algorithms, investigators are encouraged to pursue mixed
strategies: theory with experimentation.
Deadline Date: September 21, 2000
|