A Navy Perspective on Resilient Software Systems @DARPAtv
A Navy Perspective on Resilient Software Systems @DARPAtv
Uploaded June 2025 | Updated September 2026, 2 weeks ago
Dr. Vineet Mehta, Cyber HQE (highly qualified expert) with the U.S. Navy's Program Executive Office for Integrated Warfare Systems shares why why formal methods are needed, and how they can help software developers avoid making mistakes.
A Navy Perspective on Resilient Software SystemsDARPA Next Generation Microelectronics Manufacturing - MTO Spark TankTravon L. Graves, Chief Warrant Officer 3, U.S. ArmyDARPA Robotics Challenge Final Event CompilationQuantum Sensing - MTO Spark TankOvercoming Chaos: DARPAs AI Triage Challenge Tackles Real-World DataCOMPASS: Critical Orientation of Mathematics to Produce Advancements in Science and SecurityVoices from DARPA Podcast, Episode 81: DTC - Revolutionizing TriageVoices from DARPA Episode 89 - AIxCC: AI Cyber ChallengeResults from Critical Mineral Assessments with AI Support (CriticalMAAS) HackathonDARPA Lift Challenge August 4 RecapDARPA Lift Challenge - Aug 3 - Main Broadcast
DARPAtv |

A Navy Perspective on Resilient Software Systems

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER