Closing: HON. Emil Michael, Under Secretary of Defense for Research and Engineering @DARPAtv
Closing: HON. Emil Michael, Under Secretary of Defense for Research and Engineering @DARPAtv
Uploaded June 2025 | Updated September 2026, 2 weeks ago
In a video message to DARPA Resilient Software System attendees, The Honorable Emil Michael calls for formal methods to become the DoD’s gold standard for cybersecurity. Learn more about formal methods: https://www.darpa.mil/research/research-spotlights/formal-methods.
Closing: HON. Emil Michael, Under Secretary of Defense for Research and EngineeringDARPA Lift Challenge - Aug 8 - Main BroadcastPanel: Understanding Formal Methods Tools, Techniques and OpportunitiesDisruption: Revolution, not EvolutionAn Army Perspective on Resilient Software SystemsWhat is Generative Optogenetics?Assured Micropatching HackathonDARPA Lift Challenge August 3 RecapDARPA Lift ChallengeTeam Atlanta’s Takeaways from DARPAs AIxCCTesting 1, 2, 3 Testing: Automatically Finding and Fixing Software Vulnerabilities at Scale & SpeedThink Beyond the Impossible: Opportunities at DARPA - MTO Spark Tank
DARPAtv |

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

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER