At any given time, DARPA runs more than 250 programs across a wide range of research topics. We’re shining a spotlight on select topics where we’re making pivotal investments in breakthrough technologies for national security.
Formal Methods
DARPA has developed scalable tools based on formal mathematical methods (Formal Methods) to secure and prove the absence of exploitable vulnerabilities. We want to create a sustainable ecosystem of formal methods tools that are ready to use, while continuing to advance the state of the art. | Learn more
Ocean of Things
The Ocean of Things (OoT) program seeks to enable persistent maritime situational awareness over large ocean areas by deploying thousands of low-cost, environmentally friendly, intelligent floats that drift as a distributed sensor network. | Learn more
Event
Resilient Software Systems Colloquium
June 17, 2025
Hyatt Regency Crystal City
Arlington, Va.
Registration deadline: May 26, 2025