This program seeks to support research characterized by algorithmic thinking accompanied by rigorous mathematical analysis. The goal is to understand the fundamental limits of resource-bounded computation and to obtain optimal solutions within those limits. The program also supports research in algorithms that is applicable to other areas both within and outside computer science. This program supports research on computing economic equilibria, mechanism design, graphical economic models and other topics in computational game theory and economics.

Topical areas include: Algorithms; Quantum Computing; Complexity and Cryptography; Computational Geometry; Computational Biology; Computational Game Theory and Economics; Numerical Analysis; and Parallel/Distributed Algorithms

Return to the solicitation.