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
Graphic

CCF
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
Divisions
Bullet Computer &
Network Systems
Information &
Intelligent Systems
Bullet Shared
Cyberinfrastructure


Theoretical Foundations Cluster

M I S S I O N

This cluster seeks to determine inherent limits of computation and communication, and to obtain optimal solutions within those limits. Research and education projects supported examine information representation methods and computational techniques for advancing information technology and all scientific and engineering disciplines.

Topical areas include: models of computation; computational complexity; parallel and distributed computation; random and approximate algorithms; algorithmic algebra, geometry, topology, and logic; computational optimization; computational algorithms for high-end scientific and engineering applications; techniques for representing, coding and transmitting information; mobile communication; optical communication; signal processing systems; analysis of images, video, and multimedia information.

A C T I V I T I E S   S U P P O R T E D
FUNDING OPPORTUNITIES
BulletNew solicitation is under development.

In addition to new funding opportunities, CCF manages ongoing awards that were made under the following activities (which are no longer receiving proposals):

FUNDED ACTIVITIES
BulletCommunications Research

BulletFormal and Mathematical Foundations

BulletGraphics and Symbolic and Geometric Computation

BulletSignal Processing Systems

BulletTheory of Computing

S T A F F
Name/Title Supported Activities Phone/Email
 
John H. Cozzens
Program Director
Suite 1115 N
Formal and Mathematical Foundations

Signal Processing Systems

Theoretical Foundations

(703) 292-8910
jcozzens@nsf.gov

Ding-Zhu Du
Program Director
Suite 1115 N
Formal and Mathematical Foundations

Theoretical Foundations

Theory of Computing

(703) 292-8910
ddu@nsf.gov

Robert B. Grafton
Program Director
Suite 1115 N
Formal and Mathematical Foundations

Graphics and Symbolic and Geometric Computation

Theoretical Foundations

(703) 292-8910
rgrafton@nsf.gov

Haesun Park
Program Director
Suite 1115 N
Formal and Mathematical Foundations

Theoretical Foundations

(703) 292-8910
hpark@nsf.gov

Venugopal Veeravalli
Program Director
Suite 1110 N
Communications Research

Formal and Mathematical Foundations

Theoretical Foundations

(703) 292-8910
vveerava@nsf.gov
Graphic Space Graphic Space Graphic Space
Top
Bottom Corner Graphic Space Bottom Corner