MATH AND COMPUTER SCIENCES
Abstract
The Math and Computer Sciences project supports scientific study and experimentation on new mathematical and computational algorithms, models, and mechanisms in support of long-term national security objectives. Modern analytic and information technologies enable important new military capabilities and drive the productivity gains essential to U.S. economic competitiveness. Conversely, new classes of threats, in particular threats that operate in or through the cyber and information domain, put military systems, critical infrastructure, and the civilian economy at risk. This project aims to magnify these opportunities and mitigate these threats by leveraging emerging mathematical and computational capabilities, including artificial intelligence (AI), computational social science, machine learning and reasoning, data science, quantum science, complex systems modeling and simulation, and theories of computation and programming. The basic research conducted under the Math and Computer Sciences project will produce breakthroughs that enable new capabilities for national and homeland security.
Document Details
- Document Type
- Project
- Publication Date
- Oct 01, 2025
- Source ID
- CCS-02_0601101E_1_0400_PB_2025
Related Documents
- Root: DEFENSE RESEARCH SCIENCES
- Child Accomplishment: Foundational Artificial Intelligence (AI) Science
- Child Accomplishment: Young Faculty Award (YFA)
- Child Accomplishment: Perceptually-Enabled Task Guidance (PTG)
- Child Accomplishment: Knowledge Management at Scale
- Child Accomplishment: Environment-driven Conceptual Learning (ECOLE)
- Child Accomplishment: Alternative Computing
- Child Accomplishment: Intrinsic Cognitive Security (ICS)
- Child Accomplishment: Enhanced SBOM for Optimized Software Sustainment (E-BOSS)
- Child Accomplishment: Scientific Feasibility (SciFy)
- Child Accomplishment: Emerging Opportunities in Math and Computer Sciences
- Child Accomplishment: Artificial Social Intelligence for Successful Teams (ASIST)
- Child Accomplishment: Guaranteeing AI Robustness against Deception (GARD)
- Child Accomplishment: Human Social Systems
- Child Accomplishment: Machine Common Sense (MCS)
- Child Accomplishment: Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS)
- Child Accomplishment: Advanced Tools for Modeling and Simulation
- Child Accomplishment: Safe Documents (SafeDocs)
- Child Accomplishment: Learning with Less Labeling (LwLL)