Please enable JavaScript to use this site!

Agenda

**Agenda information below is subject to change. Current as of June 4, 2025**

TIME EVENT
 
7:00 AM - 8:30 AM Registration & Networking Breakfast
8:30 AM - 8:45 AM Welcome
Mr. Rob McHenry, Deputy Director, DARPA
8:45 AM - 9:00 AM Keynote
Mr. Alexei Bulazel, Special Assistant to the President & National Security Council Senior Director for Cyber
9:00 AM - 9:30 AM Keynote
Mr. John Hultquist, Chief Analyst, Google Threat Intelligence Group
9:30 AM - 9:45 AM Keynote
Colonel Richard Leach, Director of the J-2 Intelligence Directorate, Defense Information Systems Agency
9:45 AM - 10:30 AM DARPA Keynote & Announcement
Dr. Kathleen Fisher, Director, DARPA Information Innovation Office (I2O)
10:30 AM - 11:00 AM Poster Session & Networking Break
11:00 AM - 11:30 AM Amazon's Formal Methods Journey
Dr. Michael Hicks, Senior Principal Scientist at Amazon Web Services, and Professor Emeritus, University of Maryland
11:30 AM - 12:15 PM Panel: Using Formal Methods: Government Transition Success Stories
Moderated by Dr. Matt Turek, Deputy Director, DARPA I2O

Panelists:
  • Ms. Theresa Beech, Principal Investigator, CAPSTONE Experimentation, NASA
  • Mr. Oren Edwards, Chief Engineer for the Medium Altitude Unmanned Aircraft Systems Division, Air Force Life Cycle Management Center, Air Force Materiel Command, U.S. Air Force
  • Dr. Philip Johnson-Freyd, Research and Development Cybersecurity Principal Member of Technical Staff, Sandia National Laboratories, Sandia National Laboratories
12:15 PM - 1:45 PM Networking Lunch
1:45 PM - 3:30 PM Understanding Formal Methods Tools, Techniques and Opportunities - Focus on Authority to Operate (ATO), Parsers and Separation Kernels

Featuring DARPA Program Managers: Dr. Matthew Wilding, Dr. Stephen Kuhn, Dr. Dan Wallach, Dr. Howard Shrobe
Demonstrations by DARPA Performers: Mr. Thomas Bailey, Riverside Research, and Dr. Darren Cofer, Collins Aerospace
3:30 PM - 4:00 PM Poster Session & Networking Break
4:00 PM - 4:30 PM Panel: DOD's Role in Enabling Wide-Spread Formal Methods Adoption
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
4:30 PM - 5:00 PM Closing Remarks
Dr. Kathleen Fisher, Director, DARPA I2O
5:00 PM - 6:30 PM Networking Reception