This web site was copied prior to January 20, 2005. It is now a Federal record managed by the National Archives and Records Administration. External links, forms, and search boxes may not function within this collection. Learn more.   [hide]
Skip Navigation
Staff Directory | Contact CISE | Contact Web Master | Site Map
National Science FoundationCISE - The Directorate for Computer and Information Science and Engineering
Graphic Line
Home | About CISE | Funding | Discoveries | News & Events | FAQs
Graphic Line
Header Graphic

Bullet Home
Bullet Mission
Bullet Staff
Bullet Funding Opportunities
Bullet Funded Activities
Bullet Awards
Bullet News & Events
Bullet Discoveries
CCF Clusters
Bullet Emerging Models and Technologies for Computation Cluster
Bullet Foundations of Computing Processes and Artifacts Cluster
Bullet Theoretical Foundations Cluster
Bullet Computer &
Network Systems
Information &
Intelligent Systems
Bullet Shared
Funding Related Links
Bullet All CISE Funding Opportunities
Bullet CISE Cross-Cutting Funding
Bullet CISE Funded Activities
Bullet CISE Archived Solicitations
Bullet Proposal Deadline Calendar
Bullet Proposal Submission Guidelines
Bullet Awards Abstract Search
Bullet Award Guidance

Formal and Mathematical Foundations

Division of Computing & Communication Foundations (CCF)

A new solicitation is under development.


John H. Cozzens, Program Director

Ding-Zhu Du, Program Director

Robert B. Grafton, Program Director

Venugopal Veeravalli, Program Director

Haesun Park, Program Director


The FMF cluster seeks to determine inherent limits of computation and communication, and to obtain optimal solutions within those limits. It addresses fundamental issues of information science and technology, both within computation and communications and at the interface between these and other disciplines. Thus the cluster is broadly concerned with problems of information processing that fall within the extremes of purely theoretical studies and applications within disciplines. Research and education projects sponsored by the cluster bring advanced capabilities from computer science, scientific computing, communication theory, signal processing theory, mathematics, and application areas to bear on fundamental problems throughout science and engineering.

NSF Document: NSF 04-520


Graphic Space Graphic Space Graphic Space
Bottom Corner Graphic Space Bottom Corner