In October 2018, NSF implemented the Domain-based Message Authentication, Reporting & Conformance (DMARC) email changes required by the Department of Homeland Security (DHS) to improve email security. Some email routing practices (such as auto-forwarding to personal email accounts and sending messages through third-party providers) may cause messages to be flagged as potentially fraudulent by DMARC security checks and blocked. If your email is auto-forwarded to another account, such as a personal email account, you may not receive emails from NSF in that forwarded account. More information about DMARC and email delivery from NSF.
This program has been archived.
Foundations of Computing Processes and Artifacts Cluster
See program guidelines for contact information.
This cluster seeks to advance the science, formalisms, and methodologies for building computing and communication systems. Research and education projects in software engineering, programming language design and implementation, graphics and visualization systems, computer architecture, and design automation are supported.
Topical areas include: software design methodologies; tools for software testing, analysis, and verification; semantics, design, and implementation of programming languages; micro-architectures; memory and I/O subsystems; application-specific architectures; performance metrics; VLSI electronic design; analysis, synthesis and simulation algorithms; system-on-a-chip; architecture and design for mixed or future media (e.g., nanotechnology).