02:22

AIQ: Artificial Intelligence Quantified

01:56

KMASS - Knowledge Management at Scale and Speed

01:00

This is the New Floor - DARPA's AI Cyber Challenge

01:46

ML↦P - Mapping Machine Learning to Physics

02:05

Team Atlanta - DARPA AI Cyber Challenge

01:18

USX-1 Defiant At-Sea Overview - No Manning Required Ship (NOMARS)

02:05

Team 42-b3yond-bug - DARPA AI Cyber Challenge

01:29

Alexis Thoeny, Research Faculty, Naval Postgraduate School

01:59

Kellye Donovan, Commander, U.S. Navy

01:46

Travon L. Graves, Chief Warrant Officer 3, U.S. Army

16:14

"Voices from DARPA" Episode 88 - The Idea Pollinators: DARPA Service Chiefs Fellows

02:18

Team Lacrosse - DARPA AI Cyber Challenge

02:36

Team Trail of Bits - DARPA AI Cyber Challenge

01:51

CIDAR Challenge Check-In

01:47

NODES: Network of Optimal Dynamic Energy Signatures

00:35

Sneak Peek: USX-1 Defiant - No Manning Required Ship (NOMARS)

00:34

DARPA Triage Challenge Data Competition - Workshop 2

02:15

Team Theori - DARPA AI Cyber Challenge

02:02

Team Shellphish - DARPA AI Cyber Challenge

01:37

Team All You Need IS A Fuzzing Brain - DARPA AI Cyber Challenge

01:50

NGMM: Next Generation Microelectronics Manufacturing

44:35

DARPA Keynote: Forging a New Era of Cyber Resiliency - Kathleen Fisher

12:16

DARPA Resilient Software Systems Colloquium Welcome - Rob McHenry

31:09

Cyber Threat Landscape Brief by Google Threat Intelligence Group - John Hultquist

13:45

The Wolves are at the Gateways: A Cyber Threat Perspective by DISA’s COL Richard Leach

31:01

Amazon's Formal Methods Journey - Michael Hicks

45:35

Panel: Using Formal Methods: Government Transition Success Stories

05:18

Closing Remarks - Kathleen Fisher

07:31

Closing: HON. Emil Michael, Under Secretary of Defense for Research and Engineering

32:05

Panel: DOD's Role in Enabling Wide-Spread Formal Methods Adoption

01:32:39

Panel: Understanding Formal Methods Tools, Techniques and Opportunities

01:01

An Army Perspective on Resilient Software Systems

00:56

A Navy Perspective on Resilient Software Systems

00:47

An Air Force Perspective on Resilient Software Systems

01:55

Ag X BTO

20:47

"Voices from DARPA" Episode 87 - Racing at the Edge

01:21

DARPA Triage Challenge Workshop 2

01:41

Ice Control for cold Environments (ICE)

01:20

Rethinking Microsystems with Biology

01:17

Disruption: Revolution, not Evolution

01:44

COMPASS: Critical Orientation of Mathematics to Produce Advancements in Science and Security

01:11

SAFRON: Safe and Assured Foundation Robots for Open Environments

01:10

INSPIRE: Investigating how Neurological Systems Process Information in Reality

01:41

CRYSTAL: Crystal Substrate Bonding Technologies and Algorithms - Advanced Research Concept

23:09

"Voices from DARPA" Podcast, Episode 86: BETR to BEST

01:21

MTO Spark Tank 2025

02:14

AI-Enabled Safety Control Tested on the Charles River – Adapting to the Unexpected

01:46

expMath: Exponentiating Mathematics

02:08

DARPA Triage Challenge: Why It Matters

01:23

SABER: A new way to operationally assess AI-enabled battlefield systems

01:36

A3ML to transform anti-money laundering analytics

01:48

Red-C: Creating Self-Healing Computers

01:50

Results from Critical Mineral Assessments with AI Support (CriticalMAAS) Hackathon

22:10

"Voices from DARPA" Podcast, Episode 85: More than Microchips

21:32

DARPA Triage Challenge Event 1 - Systems Competition Summary

01:52

DARPA CIDAR Challenge: How it Works

01:02

DARPA CIDAR Challenge: Why is figuring out distances from 2D images a DARPA hard problem?

01:24

Introducing the DARPA Computational Imaging Detection and Ranging (CIDAR) Challenge

06:48

DARPA Triage Challenge Event 1 - Data Competition Summary

08:03

DARPA Triage Challenge Event 1 - Virtual Competition Summary