Amazons Formal Methods Journey - Michael Hicks @DARPAtv
Amazons Formal Methods Journey - Michael Hicks @DARPAtv
Uploaded June 2025 | Updated September 2026, 1 week ago
Dr. Michael Hicks, Senior Principal Scientist at Amazon Web Services, and Professor Emeritus, University of Maryland
Amazons Formal Methods Journey - Michael HicksClosing Remarks - Kathleen FisherPlaying with Heavy Hitters: A Look Inside DARPAs CultureDARPA Triage Challenge: Integrating Sensor Data for Life-Saving InsightsFrom Data Security to Discovery: How ARPA-H is Using AI to Transform Health Care in AmericaDARPA Lift Challenge - Aug 5 - Main BroadcastNo Manning Required Ship (NOMARS) ChristeningTeam All You Need IS A Fuzzing Brain - DARPA AI Cyber Challenge“Robo Duck” ArchitectureVoices from DARPA Podcast, Episode 93: Whats in a Name?DARPA Triage Challenge Event 1 - Systems Competition SummaryBuckle Up, Buttercup - Our Experience Competing in AIxCC
DARPAtv |

Amazon's Formal Methods Journey - Michael Hicks

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER