Breadcrumb

  1. Home
  2. Research
  3. Research Spotlights

Research Spotlights

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.

Read more about Formal Methods

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

Read more about 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

Register now

 

Contact