DIRECTORATE FOR
Computer and Information Science and Engineering (CISE)

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


REFERENCE: GP1998-2860
revised 1-10-2000