Computing and Communication Foundations (CCF): Core Programs (nsf17571) - 0 views
-
MiamiOH OARS on 06 Jul 17The Algorithmic Foundations (AF) program supports potentially transformative research and education projects advancing design and analysis of algorithms and characterized by algorithmic thinking accompanied by rigorous analysis. Research on algorithms for problems that are central to computer science and engineering, as well as new techniques for the rigorous analysis of algorithms, are of interest. AF supports theoretical research that bounds the intrinsic difficulty of problems to determine the measures of complexity in formal models of computation, classical or new. The goal is to understand the fundamental limits of resource-bounded computation and to obtain efficient algorithms operating within those limits. The time and space complexity of finding exact and approximate solutions in deterministic and randomized models of computation is a central concern of the program; research on resources other than time and space, such as communication and energy, is also encouraged. In addition to the traditional, sequential computing paradigm, AF supports research on the design and analysis of novel algorithms in parallel and distributed models, in particular, in heterogeneous multi-core and many-core machines; the computational models and algorithms that capture essential aspects of computing over massive data sets; and alternative forms of computation and information processing, including quantum computing and biological models of computation.