Panel: DODs Role in Enabling Wide-Spread Formal Methods Adoption @DARPAtv
Panel: DODs Role in Enabling Wide-Spread Formal Methods Adoption  @DARPAtv
Uploaded June 2025 | Updated September 2026, 2 weeks ago
Moderated by Dr. Benjamin Bishop, Deputy Director, DARPA Adaptive Capabilities Office

Panelists:
Ms. Stacy Bostjanick, Chief Defense Industrial Base Cybersecurity, Deputy Chief Information Officer for Cybersecurity, Office of the DoD Chief Information Officer
Mr. John Garstka, Director for Cyber Warfare, Office of the Under Secretary of Defense for Acquisition and Sustainment
Dr. Forrest Shull, Principal Director for Advanced Computing and Software, Office of the Under Secretary of Defense for Research and Engineering
Panel: DODs Role in Enabling Wide-Spread Formal Methods AdoptionDARPA Contracting - MTO Spark TankNavigating DARPA with DARPA Connect - MTO Spark TankRedefining Future PlatformsMicrosystem Scaling - MTO Spark TankVoices from DARPA Podcast, Episode 78: Introducing ELSIARTIPHISHELL IntelligenceCommercial Strategy Overview - Aaron Kofford - MTO Open HouseAlexis Thoeny, Research Faculty, Naval Postgraduate SchoolFrom SBIR to Scalable: Inca Digitals Journey with DARPATeam Shellphish - DARPA AI Cyber ChallengeDARPA Triage Challenge: AI for Real-World Emergencies
DARPAtv |

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

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER